Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computer programs » computer program
invited microsoft » inside microsoft, minit microsoft
programs invited » programs united, programs involved, program united
microsoft https » microscopy https, microsoft htc
interfaces » interface
computer programs » computer program
invited microsoft » inside microsoft, minit microsoft
programs invited » programs united, programs involved, program united
microsoft https » microscopy https, microsoft htc
interfaces » interface
1
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... -- Validating the Microsoft Hypervisor -- Formal Modelling of Systems -- Interface Input/Output Automata...”View full text
Electronic
eBook