Вы здесь

Automatically Checking an Implementation against Its Formal Specifications

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
P.55-69
Библиография: 
Bibliogr.: p.68-69
Номер: 
1
Том: 
26
Карточка: 

Б3.54.

Antoy S., Hamlet D..

Automatically Checking an Implementation against Its Formal Specifications// IEEE Trans. on Software Engineering-2000, №1.-Vol. 26.-P.55-69
Bibliogr.: p.68-69

Таблица в старой библиотеке: 
PAP24 580