| |
Electronic Notes in Theoretical Computer Science, Vol. 240 (02 July 2009), pp. 239-257.
|
| |
Computer, Vol. 42, No. 9. (September 2009), pp. 30-36.
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 5423 (2009), pp. 151-166.
|
| |
Foundations and Applications of Security Analysis In Foundations and Applications of Security Analysis, Vol. 5511 (2009), pp. 1-17.
|
| |
In Recent Advances in Applied Mathematics and Computational and Information Sciences, Vol. II (2009), pp. 437-440.
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-8.
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-56.
|
| |
|
| |
In Workshop on Foundations of Computer Security (FCS'09). Affiliated with Logic in Computer Science (LICS) (August 2009)
|
| |
Journal of Computer Security (2009)
|
| |
Security and Privacy, IEEE Symposium on In 30th IEEE Symposium on Security and Privacy, Vol. 0 (2009), pp. 141-153.
|
| |
Communications of the ACM, Vol. 52, No. 10. (2009), pp. 30-32.
|
| |
|
| |
|
| |
Social Science Research Network Working Paper Series (17 August 2009)
|
| |
|
| |
|
| |
In PLAS '09: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (2009), pp. 125-131.
|
| |
Formal Aspects of Computing (2009)
|
| |
Journal of Systems and Software, Vol. 82, No. 1. (January 2009), pp. 101-111.
|
| |
Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 43-59.
|
| |
In 22nd ACM Symposium on Operating Systems Principles (SOSP) (2009)
by Gerwin Klein, Kevin Elphinstone, Gernot Heiser, et al.June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
|
| |
In 11th High-Assurance Systems Engineering Symposium (HASE '08) (23 December 2008), pp. 165-174.
|
| |
In 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) (2009)
|
| |
|
| |
|
| |
In FM 2009: Formal Methods, Vol. 5850 (2009), pp. 289-304.
edited by David Hutchison, Takeo Kanade, Josef Kittler, et al.Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ana Cavalcanti, Dennis R. Dams
|
| |
|
| |
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 (2009)
|
| |
|
| |
Computer Aided Verification In Computer Aided Verification, Vol. 5643 (2009), pp. 173-187.
|
| |
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 5423 (2009), pp. 20-38.
|
| |
Science of Computer Programming, Vol. 74, No. 4. (2009), pp. 238-257.
|
| |
|
| |
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.
|
| |
|
| |
Communications of the ACM, Vol. 52, No. 4. (2009), pp. 78-88.
|
| |
|
| |
|
| |
In The Stanford Encyclopedia of Philosophy (2009)
|
| |
ACM Computing Surveys, Vol. 41, No. 2. (2009), pp. 1-76.
by Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, et al.Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan
|
| |
IEEE Security & Privacy In IEEE Security & Privacy, Vol. 7, No. 2. (2009), pp. 87-90.
|
| |
Foundations of Software Science and Computational Structures In Foundations of Software Science and Computational Structures, Vol. 5504 (2009), pp. 288-302.
|
| |
Software and Systems Modeling, Vol. 8, No. 1. (2009), pp. 45-65.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 236 (2009), pp. 65-84.
|
CiteULike
michaelbanks's CiteULike
Search
Export
