History
1
au:Enbacka, A*
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Rigorous development of automated inconsistency checks for digital evidence using the B method (English)
IJDE 6, No. 2 (2007).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX URL
Valid XHTML 1.0 Transitional Valid CSS!