Distributed cooperative formal methods tools
暂无分享,去创建一个
[1] S. Field. Screenplay: The Foundations of Screenwriting , 1979 .
[2] Joseph A. Goguen,et al. Formality and Informality in Requirements Engineering , 1996, ICRE.
[3] Luqi,et al. Formal Methods: Promises And Problems , 1997, IEEE Softw..
[4] Duncan Shand. Proof diagrams and term rewriting with applications to computational algebra , 1997 .
[5] F. Saussure,et al. Course in General Linguistics , 1960 .
[6] Joseph A. Goguen,et al. Principles of parameterized programming , 1989 .
[7] Joseph A. Goguen,et al. Algebraic semantics of imperative programs , 1996, Foundations of computing series.
[8] Kai LinDept. Algebraic Semiotics, Proofwebs, and Distributed Cooperative Proving 1 , 1997 .