Synthesis of formal specifications of predicates: Why and How?

• Autoři: FRANOVA Marta; POPELÍNSKÝ Lubomír
• Rok publikování: 2000
• Druh: Článek ve sborníku
• Konference: Proc. of EMCSR'00
• Fakulta / Pracoviště MU: Fakulta informatiky