Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

2 Results for Cook, Byron

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Accurate Theorem Proving for Program Verification

Cook, Byron, Kröning, Daniel and Sharygina, Natasha (2005)

Reports Reports

2. Symbolic model checking for asynchronous Boolean programs

Cook, Byron, Kröning, Daniel and Sharygina, Natasha (2005)

Reports Reports