K Rustan M Leino’s Followers (6)

K Rustan M Leino

Average rating: 4.67 · 3 ratings · 0 reviews · 2 distinct works

	Program Proofs 4.67 avg rating — 3 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European ... Germany, March 26--April 3, 2011, Pro by Parosh Aziz Abdulla (Editor), K Rustan M Leino (Editor) 0.00 avg rating — 0 ratings — published 2011	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more, click here.

Is this you? Let us know. If not, help out and invite K to Goodreads.