Teaching Formal Methods in Context

Bibliographic Details
Main Authors: Davies, J, Simpson, A, Martin, A
Format: Conference item
Published: 2004
Search Result 1
Search Result 2