Object-oriented type systems /

Autor Palsberg, Jens, 1964-, Schwartzbach, Michael I., 1961-
Vydáno 1994

Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings /

Vydáno 2000

Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 : Vienna, Austria, March 25-April 2, 2006 : proceedings /

Vydáno 2006

Model Checking Software : 15th International SPIN Workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings /

Vydáno 2008