| |
Logics of Specification Languages In Logics of Specification Languages (2008), pp. 47-152.
|
| |
|
| |
|
| |
In Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics (1992)
|
| |
|
| |
|
| |
|
| |
Journal of Applied Logic, Vol. 1, No. 5-6. (October 2003), pp. 309-392.
|
| |
|
| |
Computer In Computer, Vol. 23, No. 9. (1990), pp. 8-24.
|
| |
|
| |
In A Classical Introduction to Cryptography Exercise Book (2006)
|
| |
Static Analysis In Static Analysis, Vol. 1694 (1999), pp. 330-354.
|
| |
Scientific American (June 2006), pp. 69-75.
|
| |
|
| |
|
| |
|
| |
|
| |
In FM 2006: Formal Methods, Vol. 4085 (2006), pp. 592-597.
|
| |
|
| |
Communications of the ACM, Vol. 51, No. 9. (September 2008), pp. 54-59.
|
| |
No. EWD1240a. (January 1998)
|
| |
In Refinement Techniques in Software Engineering, Vol. 3167 (2006), pp. 64-122.
|
| |
In Refinement Techniques in Software Engineering, Vol. 3167 (2006), pp. 220-268.
|
| |
In Refinement Techniques in Software Engineering, Vol. 3167 (2006), pp. 1-17.
|
| |
Theoretical Computer Science, Vol. 335, No. 2-3. (2005), pp. 131-146.
|
| |
In Computer Science Today, Vol. 1000 (1995), pp. 426-440.
|
CiteULike
michaelbanks's CiteULike
Search
Export
