Towards provably correct system synthesis and extension

• Authors:

• Fausto Giunchiglia;Paolo Pecchiari;Alessandro Armando

• Affiliations:

• -;-;-

• Venue:
• Future Generation Computer Systems - Special double issue: reflection and meta-level AI architectures
• Year:
• 1996