@article{BeckertMoskal2010,
author = {Bernhard Beckert and Micha{\l} Moskal},
title = {Deductive Verification of System Software in the
{Verisoft XT} Project},
journal = {KI},
volume = {24},
number = {1},
pages = {57--61},
year = {2010},
month = feb
}
Deductive Verification of System Software in the Verisoft XT Project
| Autor(en): | Bernhard Beckert und Michal Moskal |
|---|---|
| Zeitschrift: | KI |
| Nummer: | 1 |
| Band: | 24 |
| Jahr: | 2010 |
| Seiten: | 57-61 |