| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4789 (2007), pp. 151-170.
|
| |
|
| |
|
| |
B’98: Recent Advances in the Development and Use of the B Method In B’98: Recent Advances in the Development and Use of the B Method, Vol. 1393 (1998), pp. 46-65.
|
| |
Information Processing Letters, Vol. 25, No. 2. (06 May 1987), pp. 71-76.
|
| |
Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 38-62.
|
| |
|
| |
Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 43-59.
|
| |
|
| |
In Programming Methodology (2003), pp. 441-460.
|
| |
Science of Computer Programming, Vol. 74, No. 8. (June 2009), pp. 629-653.
|
| |
Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 60-74.
|
| |
|
| |
Software and Systems Modeling, Vol. 6, No. 2. (1 June 2007), pp. 185-204.
|
| |
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 5423 (2009), pp. 20-38.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 133-154.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 3-32.
|
| |
Software and Systems Modeling, Vol. 4, No. 4. (17 November 2005), pp. 355-357.
|
| |
|
| |
Formal Aspects of Computing, Vol. 10, No. 3. (21 March 1998), pp. 267-289.
|
| |
IBM Journal of Research and Development, Vol. 31, No. 5. (1987), pp. 546-555.
|
| |
The Computer Journal, Vol. 35, No. 5. (1 October 1992), pp. 441-450.
|
| |
|
| |
Journal of the ACM, Vol. 24, No. 1. (1977), pp. 44-67.
|
| |
In POPL '75: Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1975), pp. 54-66.
|
| |
Software and Systems Modeling, Vol. 8, No. 1. (2009), pp. 45-65.
|
| |
IEEE Symposium on Security and Privacy In IEEE Symposium on Security and Privacy (1996), pp. 12-21.
|
| |
VDM '91 Formal Software Development Methods In VDM '91 Formal Software Development Methods, Vol. 552 (1991), pp. 79-140.
|
| |
ACM Transactions in Programming Languages and Systems, Vol. 10, No. 3. (1988), pp. 403-419.
|
| |
1995 Asia Pacific Software Engineering Conference In 1995 Asia Pacific Software Engineering Conference (1995), pp. 498-507.
|
| |
In Abstract State Machines, B and Z, Vol. 5238 (2008)
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 309-329.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 277-307.
|
| |
|
| |
Mathematics of Program Construction, Vol. 669 (1993), pp. 100-121.
|
| |
Science of Computer Programming, Vol. 9, No. 3. (December 1987), pp. 287-306.
|
| |
In The Theory and Practice of Refinement: Approaches to the Development of Large-Scale Software Systems (1989), pp. 27-36.
|
| |
IET Information Security, Vol. 3, No. 1. (2009), pp. 9-33.
|
| |
No. SRI-CSL-01-07. (2001)
|
| |
|
| |
No. YCS-2002-347. (December 2002)
|
| |
Emerging Trends in Information and Communication Security In Emerging Trends in Information and Communication Security, Vol. 3995 (2006), pp. 268-281.
|
| |
Formal Methods in System Design, Vol. 18, No. 3. (2001), pp. 249-284.
|
| |
|
| |
|
| |
Formal Aspects of Computing
|
| |
FME 2002:Formal Methods—Getting IT Right In Formal Methods -- Getting IT Right, Vol. 2391 (2002), pp. 1-15.
|
| |
Information Assurance in Computer Networks In Information Assurance in Computer Networks, Vol. 2052 (2001), pp. 28-38.
|
| |
|
CiteULike
michaelbanks's CiteULike
Search
Export
