The ProCoS Approach to Correct Systems |
| |
Authors: | Langmaack Hans |
| |
Affiliation: | (1) Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Preusserstr. 1-9, D-24105 Kiel, Germany |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|