The application of formal methods. Essays dedicated to Jim Woodcock on the occasion of his retirement
From MaRDI portal
Publication:6613986
DOI10.1007/978-3-031-67114-2MaRDI QIDQ6613986
No author found.
Publication date: 7 October 2024
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Theory of computing (68Qxx)
This page was built for publication: The application of formal methods. Essays dedicated to Jim Woodcock on the occasion of his retirement
