Research
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010
Computer Aided Verification, 22st International Conference, CAV 20010
Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
May 2009
SSV 2009. To appear.
Michal Moskal, Wolfram Schulte
MSR-TR-2009-16159 | February 2009
Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies
MSR-TR-2009-2019 | February 2009
Bart Jacobs, Frank Piessens, Jan Smans, Rustan Leino, Wolfram Schulte
ACM Trans. Program. Lang. Syst. | January 2008, 제 31 권
Wolfram Schulte
31st International Conference on Software Engineering, ICSE 2009 | January 2008
31st International Conference on Software Engineering, ICSE 2009
Wolfram Schulte
AMAST | January 2008
ISBN: 978-3-540-79979-5
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010
Computer Aided Verification, 22st International Conference, CAV 20010
Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
May 2009
SSV 2009. To appear.
Michal Moskal, Wolfram Schulte
MSR-TR-2009-16159 | February 2009
Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies
MSR-TR-2009-2019 | February 2009
Wolfram Schulte
AMAST | January 2008
ISBN: 978-3-540-79979-5
Wolfram Schulte
31st International Conference on Software Engineering, ICSE 2009 | January 2008
31st International Conference on Software Engineering, ICSE 2009
Bart Jacobs, Frank Piessens, Jan Smans, Rustan Leino, Wolfram Schulte
ACM Trans. Program. Lang. Syst. | January 2008, 제 31 권
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010
Computer Aided Verification, 22st International Conference, CAV 20010
Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
May 2009
SSV 2009. To appear.
Wolfram Schulte
AMAST | January 2008
ISBN: 978-3-540-79979-5
Wolfram Schulte
31st International Conference on Software Engineering, ICSE 2009 | January 2008
31st International Conference on Software Engineering, ICSE 2009
Michal Moskal, Wolfram Schulte
MSR-TR-2009-16159 | February 2009
Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies
MSR-TR-2009-2019 | February 2009
Bart Jacobs, Frank Piessens, Jan Smans, Rustan Leino, Wolfram Schulte
ACM Trans. Program. Lang. Syst. | January 2008, 제 31 권