MPG.eBooks - Search Results - (translating OR translation) and interpreting

Search alternatives:
translating » translations , translational

Cover Image

1

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... Abstraction for DynAlloy Specifications -- Verification 2 -- Partial Translation Verification for Untrusted...”

Cover Image

2

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... for Linear Transition Systems with Polynomials -- Translation-Based Compositional Reasoning for Software...”