Formal Verification of the Context Model - Enhanced Context Spaces Theory Approach

Författare
Andrey Boytsov
Språk
Engelska
Förlag År Ort Om boken ISBN
2011 Sverige 41