Search

Collections:

Format:

Publication Type:

  • 17
  • 11
  • 4
  • 4
  • 1

Lab:

  • 36
  • 1
  • 1

Publication Year:

  • 6
  • 6
  • 5
  • 15
  • 2
  • 2
  • 1

Journal:

  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
show all

Publication Type:

  • 17
  • 11
  • 4
  • 4
  • 1

Lab:

  • 36
  • 1
  • 1

Publication Year:

  • 6
  • 6
  • 5
  • 15
  • 2
  • 2
  • 1

Journal:

  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
show all
Infoscience 37 records found 1 - 10nextlast  jump to record: Search took 0.05 seconds. 
1.
Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation, 26-44 (2010)
2010 | Conference Papers |
2.
Proceedings of the 22nd International Conference on Computer-Aided Verification (CAV), 6174, 430-433 (2010)
2010 | Conference Papers |
3.
4.
5.
POPL 12: Proceedings Of The 39Th Annual Acm Sigplan-Sigact Symposium On Principles Of Programming Languages, 151-164 (2012)
2012 | Conference Papers |
6.
Acm Sigplan Notices (POPL), 47, 151-164 (2012)
2012 | Journal Articles |
7.
Acm Sigplan Notices, 45, 199-210 (2010)
2010 | Conference Papers |
8.
9.
10.
5th International Conference, VSTTE 2013, 48-67 (2013)
2013 | Conference Papers |

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.