skip to main content
Lingue:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Automated Software Analysis

Veith, Helmut

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 2009, pp.18-18

Fulltext disponibile

2
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Embedding Formal Methods into Systems Engineering

Veith, Helmut

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 2009, pp.11-11

Fulltext disponibile

Ricerca in corso nelle risorse remote ...