Your search returned 2 results.

Results
	1.	NASA Formal Methods [electronic resource] : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings / by Deshmukh, Jyotirmoy V [editor.] Havelund, Klaus [editor.] Perez, Ivan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13260 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings / by Havelund, Klaus [editor.] Penix, John [editor.] Visser, Willem [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1885 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search