|
|||||
|
|
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 等数据库收录！ | |