Towards provably correct system synthesis and extension (1996)

by F Giunchiglia, P Pecchiari, A Armando
Venue:Journal of Future Generation Computer Systems