Вы здесь

Главная

jaspe

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

Program Semantics, Specification and Verification: Theory and Applications: Abstracts./X Workshop PSSV Held as Part of PSI '19, Novosibirsk, Russia, July 2019