Formal methods in outer space essays dedicated to Klaus Havelund on the occasion of his 65th birthday /
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...
| Other Authors: | Havelund, Klaus, 1955-, Bartocci, Ezio (Computer scientist), Falcone, Yliès, Leucker, Martin,, SpringerLink (Online service), ISoLA (Symposium) |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2021.
|
| Physical Description: |
1 online resource (xii, 193 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
13065. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |