G Roșu, TF Șerbănută

The Journal of Logic and Algebraic Programming 79 (6), 397-434, 2010

F Chen, G Roşu

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007

K Havelund, G Roşu

Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002

E Hildenbrandt, M Saxena, N Rodrigues, X Zhu, P Daian, D Guth, ...

2018 IEEE 31st Computer Security Foundations Symposium (CSF), 204-217, 2018

K Havelund, G Roşu

Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001

VP Gerdt, W Koepf, EW Mayr, EV Vorozhtsov

Lecture Notes in Computer Science 8136, V-VIII-V-VIII, 2013

C Ellison, G Rosu

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012

PON Meredith, D Jin, D Griffith, F Chen, G Roşu

International Journal on Software Tools for Technology Transfer 14 (3), 249-289, 2012

K Havelund, G Rosu

Proceedings 16th Annual International Conference on Automated Software …, 2001

K Havelund, G Roşu

Formal methods in system design 24 (2), 189-215, 2004

F Chen, G Roşu

International Conference on Tools and Algorithms for the Construction and …, 2005

J Goguen, G Roşu

Formal aspects of computing 13, 274-307, 2002

G Roşu, K Havelund

Automated Software Engineering 12 (2), 151-197, 2005

J Huang, PON Meredith, G Rosu

Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014

K Havelund, G Roşu

International Journal on Software Tools for Technology Transfer 6 (2), 158-173, 2004

P Thati, G Roşu

Electronic Notes in Theoretical Computer Science 113, 145-162, 2005

K Sen, A Vardhan, G Agha, G Rosu

Proceedings. 26th International Conference on Software Engineering, 418-427, 2004

F Chen, G Roşu

Electronic Notes in Theoretical Computer Science 89 (2), 108-127, 2003

D Bogdanas, G Roşu

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015

C Hathhorn, C Ellison, G Roşu

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015