Sort by:

Collections:

Format:

Publication Type:

  • 11
  • 11
  • 4
  • 2
  • 1

Lab:

  • 28
  • 1

Publication Year:

  • 3
  • 3
  • 2
  • 1
  • 10
  • 5
  • 4
show all

Journal:

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

Publication Type:

  • 11
  • 11
  • 4
  • 2
  • 1

Lab:

  • 28
  • 1

Publication Year:

  • 3
  • 3
  • 2
  • 1
  • 10
  • 5
  • 4
show all

Journal:

  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
show all
Infoscience 29 records found 1 - 10nextlast  jump to record: Search took 0.06 seconds. 
1.
2.
3.
4.
5.
6.
7.
Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, 380-395 (2010)
2010 | Conference Papers |
8.
Proceedings of the 4th Workshop on Scala - SCALA '13, 1-4 (2013)
2013 | Conference Papers |
9.
Computer Science Logic, 6247, 34-48 (2010)
2010 | Conference Papers |
10.

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