Towards provably correct system synthesis and extension

Bibliographic citation F. Giunchiglia, P. Pecchiari, A. Armando, "Towards provably correct system synthesis and extension" in FUTURE GENERATION COMPUTER SYSTEMS, v. 12, (1996), p. 123-137

Detail