Sort by:

Collections:

Format:

Infoscience 1,637 records found 1 - 10nextlast  jump to record: Search took 0.06 seconds. 
1.
2.
3.
Third IEEE International Conference on Software Engineering and Formal Methods, 293 - 9 (2005)
2005 | Conference Papers |
4.
5.
6.
Poster presented at ECOOP 2000, Sophia Antipolis, Cannes, France, June 12 - 16, 2000 (2000)
2000 | Conference Papers |
7.
8.
9.
Formal Aspects of Computing, 28 (2), 207-231 (2016)
2016 | Journal Articles |
10.
Science of Computer Programming, 55 (1-3 SPEC. ISS.), 161 - 183 (2005)
2005 | Conference Papers |