Repository landing page
Constructive formal methods and protocol standardization
Abstract
Abstract is not available.- Doctoral thesis
- formal languages. formal systems. formal proof of program correctness
- dissertations the and tu/e
- computer science: dissertations. measurement and control: dissertations
- data communication. computer networks. protocols
- programming - formal methods
- software description - formal proofs
- distributed programming
- computer networks - protocols