Theory and Applications of Models of Computation

DOI10.1007/11750321zbMath1178.68145OpenAlexW4296156427MaRDI QIDQ5898913

Jin-Yun Xue, Weibo Liu, Yu-Jun Zheng

Publication date: 30 April 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11750321

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

An algebraic approach to population-based evolutionary algorithm generation

This page was built for publication: Theory and Applications of Models of Computation