相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。
Article
Computer Science, Theory & Methods
Formalization of Universal Algebra in Agda
Emmanuel Gunther et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2018)
Article
Computer Science, Software Engineering
Rodin: an open toolset for modelling and reasoning in Event-B
Jean-Raymond Abrial et al.
International Journal on Software Tools for Technology Transfer (2010)
Article
Computer Science, Theory & Methods
CSP-CASL - A new integration of process algebra and algebraic specification
M Roggenbach
THEORETICAL COMPUTER SCIENCE (2006)