Title: Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings, Author: Radhia Cousot
Title: Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings, Author: Alan Mycroft
Title: Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings, Author: Baudouin LeCharlier
Title: Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings, Author: Manuel Hermenegildo
Title: Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings, Author: Patrick Cousot
Title: Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings, Author: Jens Palsberg
Title: Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, Author: Agostino Cortesi
Title: Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings, Author: Giorgio Levi
Title: Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings, Author: Pascal van Hentenryck
Title: Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings, Author: María Alpuente
Title: Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, Author: Kwangkeun Yi
Title: Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings, Author: Roberto Giacobazzi
Title: Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings, Author: Radhia Cousot
Title: Standard Relational and Network Database Languages, Author: E.J. Yannakoudakis
Title: Specification and Proof in Real Time CSP, Author: Jim Davies
Title: Simulink: Diverse Engineering Applications, Author: Linda Morant
Title: Seven Obscure Languages in Seven Weeks: Rediscovering the Tools That Built the Future, Author: Dmitry Zinoviev
Title: Session Types, Author: Simon J. Gay
Title: Semiotics of Programming, Author: Kumiko Tanaka-Ishii PhD
Title: Scripting Windows 2000, Author: Jeffrey Honeyman MCSE

Pagination Links