Programming languages & software engineering

Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger

Proceedings of the 24th International Conference on Computer Aided Verification (CAV) | July 2012

Proceedings of the 24th International Conference on Computer Aided Verification (CAV)

Eric Bodden, Madanlal Musuvathi

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012 | July 2012

ISBN: 978-1-4503-1455-8

Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo

Computer Aided Verification (CAV ’12) (Tool description) | July 2012

프로젝트

Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi

Programming Languages Design and Implementation | July 2012

Programming Languages Design and Implementation

프로젝트

Juan Caballero, Gustavo Grieco , Mark Marron, Antonio Nappa

ISSTA 2012 Proceedings of the 2012 International Symposium on Software Testing and Analysis | July 2012

Rishabh Singh, Armando Solar-Lezama

24th International Conference on Computer Aided Verification (CAV 2012) | July 2012

24th International Conference on Computer Aided Verification (CAV 2012)

Hadi Esmaeilzadeh, Ting Cao, Stephen M. Blackburn, Kathryn S McKinley

Communications of the ACM (CACM), Research Highlights | July 2012, 제 55 권(7)

Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani

Principles of Distributed Computing (PODC) | July 2012

Benque D, Bourton S, Cockerton C, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Piterman N, Taylor A, Vardi M

Computer Aided Verification (CAV) 2012. LNCS 7358, pp. 686-692 | July 2012

Computer Aided Verification (CAV) 2012. LNCS 7358, pp. 686–692

Rishabh Singh, Sumit Gulwani

24th International Conference on Computer Aided Verification (CAV 2012) | July 2012

동영상 프로젝트