Formal proof of a program: Find
In: Science of Computer Programming, Jg. 64 (2007-02-01), Heft 3, S. 332-340
Online
academicJournal
Zugriff:
Titel: |
Formal proof of a program: Find
|
---|---|
Autor/in / Beteiligte Person: | FilliAcentstre, Jean-Christophe |
Link: | |
Zeitschrift: | Science of Computer Programming, Jg. 64 (2007-02-01), Heft 3, S. 332-340 |
Veröffentlichung: | 2007 |
Medientyp: | academicJournal |
ISSN: | 0167-6423 (print) |
Sonstiges: |
|