Вы здесь

Verification of Proofs for the B Formal Development Process

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.16-21.
Библиография: 
Bibliogr.: p.21.
Источник: 
Номер: 
11
Том: 
28
Карточка: 

Б3.54.

Dehbonei B., Mejia F..

Verification of Proofs for the B Formal Development Process// SIGPLAN Notices-1993, №11.-Vol. 28.-P.16-21.
Bibliogr.: p.21.

Таблица в старой библиотеке: 
ACM3 260