Skip to main content
Username
*
Password
*
Forgot Password?
F.LI.T.
(Formal LIght-weight Tools)
Main menu
Publications
Publications
Navigation
Publications
You are here
Home
VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications
M. Comini
,
“
VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications
”
,
Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming
. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, pp. 233–236, 2002.
Google Scholar
BibTex
Google Scholar
BibTex