W. K. Giloi (u. A.) | The Use Of Formal Specification Of Software |

K. Periyasamy (u. A.) | Specification Of Software Systems |

Foundations Of Algebraic Specification And Formal Software Development

Hartmut Ehrig (u. A.) | Integration Of Software Specification

Predictive Software Measures Based On Formal Z Specifications A Means

Tianjun Shi (u. A.) | Specification And Analysis Of Software

Didier Bert (u. A.) | Zb 2002: Formal Specification And Development In

Anton Wijs (u. A.) | Formal Aspects Of Component Software |

Eric Madelaine (u. A.) | Formal Aspects Of Component Software |

Markus Lumpe (u. A.) | Formal Aspects Of Component Software |

Formal Aspects Of Component Software Ramtin Khosravi (u. A.)

Johan Lewi (u. A.) | Algebraic Specifications In Software Engineering

Rolf Drechsler (u. A.) | Formal Specification Level | Buch | Englisch

Formal Aspects Of Component Software | Peter Csaba Ölveczky (u. A.) |

José Luiz Fiadeiro (u. A.) | Formal Aspects Of Component Software |

W. J. Savitch (u. A.) | The Formal Complexity Of Natural Language |