{VDM} "Post-ludium"
Attributed to:
Trustworthy Ambient Systems (TRAMS)
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Book Chapter
Book Title: Logics of Specification Languages (2007)