Вы здесь

Integrating Model Checking and Theorem Proving in a Reflective Functional Language

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Стр.: 
P.36-39
Библиография: 
Bibliogr.: p.38-39
Том: 
2999
Карточка: 

Б2.23, Б3.54.

Melham T..

Integrating Model Checking and Theorem Proving in a Reflective Functional Language// Lecture Notes in Computer Science-2004.-Vol. 2999.-P.36-39
Bibliogr.: p.38-39

Таблица в старой библиотеке: 
PAP28 715