Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni. An algorithm for direct synthesis of formal specifications. In Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, June 24-26, 1997, Chapel Hill, North Carolina, USA. pages 28-38, IEEE, 1997. [doi]
Abstract is missing.