Вы здесь

Verification conditions are code

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2007
Стр.: 
P.431-447
Библиография: 
Bibliogr.: p.446-447
Источник: 
Номер: 
6
Том: 
43
Карточка: 

Б2.14, Б2.2.

Gravell A. M..

Verification conditions are code// Acta Informatica-2007, №6.-Vol. 43.-P.431-447
Bibliogr.: p.446-447

Таблица в старой библиотеке: 
PAP30 914