Вы здесь

Главная

исправление

Связанные издания:

Alias calculus for a simple imperative language with decidable pointer arithmetic
Approximation and Online Algorithms: Revised Selected Papers/13th International Workshop, WAOA 2015, Patras, Greece, September 2015
Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014
Automation of correctness checking in education
Correcting Errors in Message Passing Systems
Formal Methods: Foundations and Applicationas: Revised Selected Papers/12th Brazilian Symposium, SBMF 2009, Gramado Brazil, August 2009
Formal Methods: Foundations and Applications: Proc./17th Brazilian Symposium, SBMF 2014, Maceio,AL,Brazil, September 2014
Foundations of Software Science and Computational Structures: Proc./14th International Conference, FOSSACS 2011 Held as a Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011
From Programs to Systems. The System Perspective in Computing: Proc./ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 2014
Languages and Compilers for Parallel Computing: Revised Selected Papers/28th International Workshop, LCPC 2015, Releigh,NC,USA, September 2015
List Decodin of Error-Correcting Codes: Winning Thesis of the 2002 ACM Doctoral Dissertation Competition
NASA Formal Methods: Proc./8th International Symposium, NFM 2016, Minneapolis,MN,USA, June 2016
Networked Systems: Revised Selected Papers/2nd International Conference, NETYS 2014, Marrakech, Morocco, May 2014
Numerical Software Verification: Proc./10th International Workshop, NSV 2017, Heidelberg, Germany, July 2017
Patch-Based Techniques in Medical Imaging: Revised Selected Papers/1st International Workshop, Patch-MI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 2015
Prediction Models for Software Fault Correction Effort
Reliable Software Technologies - Ada-Europe 2016: Proc./21st Ada-Europe International Conference on RST, Pisa, Italy, June 2016
Runtime Verification: Proc./5th International Conference, RV 2014, Toronto,ON,Canada, September 2014
SDL 2017: Model-Driven Engineering for Future Internet: Proc./18th International SDL Forum, Budapest, Hungary, October 2017
Verified Software: Revised Selected Papers/9th International Conference, VSTTE 2017, Heidelberg, Germany, July 2017