Вы здесь

A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2001
Ключевые слова: 
Стр.: 
P.300-317
Библиография: 
Bibliogr.: p.315-317
Том: 
2029
Карточка: 

Б2.23.

Reus B., Wirsing M., Hennicker R..

A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models// Lecture Notes in Computer Science-2001.-Vol. 2029.-P.300-317
Bibliogr.: p.315-317

Таблица в старой библиотеке: 
PAP23 20