ID:DA12842875
Search authors sharing the same name
Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez (eds.)
Springer c2022 Lecture notes in computer science 13260 . Formal methods
Available at 2 libraries
Klaus Havelund ... [et al.] (eds.)
Springer c2018 Lecture notes in computer science 10951 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering
Available at 1 libraries
Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
Springer c2008 Lecture notes in computer science 5156
Available at 4 libraries
Klaus Havelund, John Penix, Willem Visser (eds.)
Springer c2000 Lecture notes in computer science 1885
Available at 32 libraries