Formal Techniques in Software Engineering: Correct Software and Safe Systems
| Author: | Peter Liggesmeyer |
|---|---|
| URL: | https://link.springer.com/chapter/10.1007/978-3-540-74591-4_2 |
| DOI: | https://doi.org/10.1007/978-3-540-74591-4_2 |
| ISBN: | 978-3-540-74590-7 |
| ISBN: | 978-3-540-74591-4 |
| Parent Title (English): | Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings |
| Publisher: | Springer |
| Place of publication: | Berlin, Heidelberg |
| Editor: | Klaus Schneider, Jens Brandt |
| Document Type: | Conference Proceeding |
| Language: | English |
| Publication year: | 2007 |
| Year of first Publication: | 2007 |
| Release Date: | 2026/04/07 |
| Page Number: | 2 |
| First Page: | 3 |
| Last Page: | 4 |
| Faculties / Organisational entities: | RPTU in Kaiserslautern / Fachbereich Informatik / AG Software Engineering |
| Open access state: | Closed Access |
| RPTU: | Kaiserslautern |
| Created at the RPTU: | Yes |