Вы здесь

Главная

программная верификация

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

Aliasing in Object-Oriented Programming: Types, Analysis, and Verification
Integrated Formal Methods: Proc./12th International Conference, IFM 2016, Reykjavik, Iceland, June 2016
Interactive Theorem Proving: Proc./5th Internatinal Conference, ITP 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Interactive Theorem Proving: Proc./7th International Conference, ITP 2016, Nancy, France, August 2016
Language and Automata Theory and Applications: Proc./10th International Conference, LATA 2016, Prague, Czech Republic, March 2016
Networked Systems: Proc./5th International Conference, NETYS 2017, Marrakech, Morocco, May 2017
Static Analysis: Proc./27th International Symposium,, SAS 2020, Virtual Event, November 2020