Вы здесь

Engel M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Features of Popular Provers 1996 Engel M. Workshop Concurrency, Specification & Programming 03.12.1999
СТ Generating PVS Proof Obligations for TAM Specifications 1997 Engel M., Iglewski M., Mincer-Daszkiewicz J. Proceedings of the CS&P 97 Workshop 01.11.1997
СТ Applying PVS to Za 1995 Engel M., Skakkebaek J. U. Proc. of the CS&P 95 Workshop 07.02.1996
СТ A Formal Approach to Computer Systems Requirements Documentation 1993 Engel M., Kubica M., Madey J., Parnas D. L., Ravn A. P., Van Schouwen A. J. Lecture Notes in Computer Science 09.12.1993