Top 2 havelund PDF Book

book image

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Ezio Bartocci (editor), Yliès Falcone (editor), Martin Leucker (editor)
·197 Pages
·2021
·14.967 MB

book image

Java PathFinder A Translator from Java to Promela Klaus Havelund

68 Pages
·2012
·0.38 MB

We use cookies

We use cookies to ensure you get the best browsing experience on our website. By clicking "Accept Cookies", you agree that we can store cookies on your device in accordance with our Terms and Privacy.