Browse by Editor
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.
Book Section
Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X, Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco ORCID: https://orcid.org/0000-0002-5460-5537
(1999).
Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging.
In:
"The Logic Programming Paradigm".
Artificial Intelligence, Part I
.
Springer Berlin Heidelberg, pp. 161-192.
ISBN 9783642642494.
https://doi.org/10.1007/978-3-642-60085-2_7.
