In proceedings details

An approach to verification in contextual logic programming (poster)

Jan 1995

Organization:

Publisher: The MIT Press

Authors: Vasco Pedro, Luís Monteiro

Editors:

Series:

Volume: 0

ISSN:

ISBN:

Url:

Notes:

Bibtex Key:

DOI:

Pages: 0 to 0

Publication Date: 1 Jan 1995

Publication File: