Вы здесь

Главная

isabelle/hol

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

Certified Programs and Proofs: Proc./3rd International Conference, CPP 2013, Melbourne,VIC,Australia, December 2013
Verified Software: Theories, Tools, Experiments: Proc./4th International Conference, VSTTE 2012, Philadelphia,PF,USA, January 2012