Formal methods in outer space : essays dedicated to Klaus Havelund on the occasion of his 65th birthday / Ezio Bartocci, Yliès Falcone, Martin Leucker (eds.)
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators. After work as a software programmer in various Danish companies, Klaus has held research posi...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2021.
|
| Series: | Lecture notes in computer science ;
13065. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.F67
|
|---|---|
| QA76.9.F67 | Available |