Lecture Notes in Computer Science , Vol. Aspects of Process and Prospects in Theory and Practice of Software Development. Rational Spaces and Set Constraints. Formal Methods and Social Context in Software Development.
Testing Can Be Formal, Too.
Based on Internal Mobility. On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial Time. On the Category of Petri Net Computations. On the Expressive Power of Algebraic Graph Grammars with Application Conditions.