Skip to main content
Home
Highlights
Events
Hosted Events
Job & Study Opportunities
Press
Contacts
Research
Publications
Projects
People
Resources
Dataset
Software
Blog
Search form
Search
Publications
You are here
Home
»
Research
Export 5 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
Title
Type
[
Year
]
Filters:
Author
is
Manuel V. Hermenegildo
[Clear All Filters]
1991
F. Giannotti
and
Hermenegildo, M. V.
,
“
A Technique for Recursive Invariance Detection and Selective Program Specification
”
, in
PLILP
, 1991, pp. 323-334.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Copyright © 2014 - KDD Lab