Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata (Technical Report) More Books Like This

Specification of Software Systems Specification of Software Systems
Specification of Software Systems
2011
Engineering Theories of Software Intensive Systems Engineering Theories of Software Intensive Systems
Engineering Theories of Software Intensive Systems
2006
Implementation and Application of Functional Languages Implementation and Application of Functional Languages
Implementation and Application of Functional Languages
2007
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2008
Semantics and Algebraic Specification Semantics and Algebraic Specification
Semantics and Algebraic Specification
2009
Programming Languages Programming Languages
Programming Languages
2016
Formal Methods and Hybrid Real-Time Systems Formal Methods and Hybrid Real-Time Systems
Formal Methods and Hybrid Real-Time Systems
2007
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2011
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2009
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011
Models of Computation Models of Computation
Models of Computation
2009
Models and Analysis for Distributed Systems Models and Analysis for Distributed Systems
Models and Analysis for Distributed Systems
2013
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2017
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
2019