Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings / Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.). by International Symposium of Formal Methods Europe (23rd : 2019 : Porto, Portugal) Beek, Maurice H. ter [editor.] McIver, Annabelle [editor.] Oliveira, José N [editor.] Series: Formal methods \| Lecture notes in computer science ; 11800. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2019 Other title: FM 2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday / Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.). by Beek, Maurice H. ter [editor.] Fantechi, Alessandro [editor.] Semini, Laura [editor.] Gnesi, Stefania, 1954- [honouree.] Series: Lecture notes in computer science ; 11865. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2019 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search