FRANOVA, Marta and Lubomír POPELÍNSKÝ. Synthesis of formal specifications of predicates: Why and How? In Proc. of EMCSR'00. 2000.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Synthesis of formal specifications of predicates: Why and How?
Authors FRANOVA, Marta and Lubomír POPELÍNSKÝ.
Edition Proc. of EMCSR'00, 2000.
Other information
Type of outcome Proceedings paper
Confidentiality degree is not subject to a state or trade secret
Organization unit Faculty of Informatics
Changed by Changed by: doc. RNDr. Lubomír Popelínský, Ph.D., učo 1945. Changed: 1/2/2001 10:51.
PrintDisplayed: 8/5/2024 06:30