Publication details
Synthesis of formal specifications of predicates: Why and How?
| Authors | |
|---|---|
| Year of publication | 2000 |
| Type | Article in Proceedings |
| Conference | Proc. of EMCSR'00 |
| MU Faculty or unit | |
| Citation |
| Authors | |
|---|---|
| Year of publication | 2000 |
| Type | Article in Proceedings |
| Conference | Proc. of EMCSR'00 |
| MU Faculty or unit | |
| Citation |