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: 311 | Total: 372  | 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: 336 | Total: 385  | Access Period:
 744-770
HTML
XML
PDF

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

OK