2009

Wolfgang Ahrendt et al. (2009) · FM 2009: Formal Methods

Krzysztof R. Apt et al. (2009)

Rob Arthan et al. (2009) · ACM Transactions on Computational Logic

Guram Bezhanishvili et al. (2009)

Herman Geuvers (2009) · Sādhanā

Clemens Grabmayer (2009)

Christopher V. Greene (2009)

Paul Klint et al. (2009) · 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation

Neelakantan R. Krishnaswami et al. (2009) · 4th International Workshop on Types in Language Design and Implementation

Daniel T. Kuehl (2009) · Cyberpower and national security

Paolo Mancosu et al. (2009) · The Development of Modern Logic

Nicolas Marti et al. (2009) · Information and Media Technologies

Tom F. Melham (2009)

John C. Reynolds (2009) · Engineering Methods and Tools for Software Safety and Security

John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods

Makoto Tatsuta et al. (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods

Michael Zhivich et al. (2009) · IEEE Security & Privacy