Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper.
Saved in:
| Title: | Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper. |
|---|---|
| Authors: | Mirkowska, Grażzyna1, mirkowska@pjwstk.edu.pl, Salwicki, Andrzej2, salwicki@mimuw.edu.pl, Świda, Oskar3, Oskar.Swida@gmail.com |
| Source: | Fundamenta Informaticae; 2008, Vol. 85 Issue 1-4, p1-17, 17p, 3 Black and White Photographs, 1 Diagram, 8 Charts |
| Database: | Applied Science & Technology Source |
| ISSN: | 01692968 |
|---|---|
| DOI: | 10.3233/fun-2008-851-402 |
