Вы здесь
Abstractions from Proofs
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2004
Ключевые слова:
Стр.:
P.232-244
Библиография:
Appendix: p.243-244
Место издания:
Источник:
Карточка:
Б3.54, Б2.23.
Henzinger T. A., Jhala R., Majumdar R., Mcmillan K. L..
Abstractions from Proofs-Нью-Йорк.// POPL 2004, 2004.-P.232-244
Appendix: p.243-244
Таблица в старой библиотеке:
PAP28 822