Construction, amélioration et vérification de programmes
Construction, amélioration et vérification de programmes
G. Huet
,
G. Kahn
Details
OL Work ID
OL22556863W
Subjects
Reliability
Testing
Congresses
Verification
Computer programs
Find this book
Open Library