1.
|
Formal Methods in System Design, 35, 4-5 (2009)
2009 |
Journal Articles |
|
2.
|
Journal Of The Acm, 62 (1), 9 (2015)
2015 |
Journal Articles |
|
3.
|
Acta Informatica, 51 (3-4), 193-220 (2014)
2014 |
Journal Articles |
|
4.
|
Logic for Programming, Artificial Intelligence, and Reasoning, 6355, 103-118 (2010)
2010 |
Conference Papers |
|
5.
|
PLDI '07: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, 300-309 (2007)
2007 |
Conference Papers |
|
6.
|
Formal Methods In System Design, 39, 297-331 (2011)
2011 |
Journal Articles |
|
7.
|
Journal Of Computer And System Sciences, 78, 394-413 (2012)
2012 |
Journal Articles |
|
8.
|
Acm Sigplan Notices, 45, 249-260 (2010)
2010 |
Conference Papers |
|
9.
|
Distributed Computing, 22, 129-145 (2010)
2010 |
Journal Articles |
|
10.
|
Information And Computation, 208, 677-693 (2010)
2010 |
Conference Papers |
|