Author

Profile picture
Jean-Raymond Abrial
ETH Zürich
Zürich, Switzerland
2 articles by this author
Sort by:
Research Article
Formal Methods: Theory Becoming Practice
Jean-Raymond Abrial
10.3217/jucs-013-05-0619
 28-05-2007
 Unique: 319 | Total: 380  | Access Period:
 619-628
HTML
XML
PDF
Research Article
Formal Construction of a Non-blocking Concurrent Queue Algorithm
Jean-Raymond Abrial, Dominique Cansell
10.3217/jucs-011-05-0744
 28-05-2005
 Unique: 346 | Total: 398  | Access Period:
 744-770
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK