Assertions in Programming: From Scientific Theory to Engineering Practice

Manylion Llyfryddiaeth
Prif Awdur: Hoare, C
Fformat: Conference item
Cyhoeddwyd: Springer 2002