Cognition oriented software verification

Authors
Citation
Wa. Halang, Cognition oriented software verification, HUM FAC INF, 13, 1999, pp. 355-385
Categorie Soggetti
Current Book Contents
Journal title
Volume
13
Year of publication
1999
Pages
355 - 385
Database
ISI
SICI code