Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jose Quaresma
Institution:
Technical University of Denmark
Observed institution:
Technical University of Denmark
OpenAlex ID:
A5078887217
Using Dafny, an Automatic Program Verifier
2012
·
Luke Herbert
, K. Rustan M. Leino
, et al.
·
Lecture notes in computer science
·
9
Protocol Implementation Generator
2012
·
Jose Quaresma
, Christian W. Probst
·
Lecture notes in computer science
·
5
The Guided System Development Framework: Modeling and Verifying Communication Systems
2014
·
Jose Quaresma
, Christian W. Probst
, et al.
·
Lecture notes in computer science
·
3
On Building Secure Communication Systems
2013
·
Jose Quaresma
, Christian W. Probst
, et al.
·
3
Show more works
View as search
Works count:
4
Citation count:
20
H-index:
3
I10-index:
Year
Topic
Type
