10.3.5 Proving a Property of Add in Coq
In: Verification, Validation and Testing in Software Engineering 2007; (2007)
Online
E-Book
Zugriff:
Titel: |
10.3.5 Proving a Property of Add in Coq
|
---|---|
Autor/in / Beteiligte Person: | Aristides, Dasso ; Ana, Funes |
Link: | |
Quelle: | Verification, Validation and Testing in Software Engineering 2007; (2007) |
Veröffentlichung: | 2007 |
Medientyp: | E-Book |
ISBN: | 978-1-62198-947-9 (print) ; 978-1-59140-851-2 (print) |
Schlagwort: |
|
Sonstiges: |
|