Ergebnisse zu
Compilerbau

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Abstraction and Modelling

22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976

18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK,..

A Problem-Solution Approach

What They Can Do, What They Might Do, and What They Will Probably Never Do