A formal framework for synthesis and verification of logic programs

Conference Paper

Publication Date:

2001

abstract:

Lecture Notes in Computer Science

Iris type:

Relazione (in Volume)

List of contributors:

Avellone, A; Ferrari, Mauro; Fiorentini, C.

Authors of the University:

FERRARI MAURO

Handle:

https://irinsubria.uninsubria.it/handle/11383/20773

Book title:

Logic Based Program Synthesis and Transformation