Trends for Formal Methods are reviewed and illustrated by several industrial applications: logical foundations of combination, verification, transformation, testing, and tool support. The UniForM Workbench is the background for highlighting experiences made over the past 20 years.
CITATION STYLE
Krieg-Brückner, B. (1999). UniForM perspectives for formal methods. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1641, pp. 251–265). Springer Verlag. https://doi.org/10.1007/3-540-48257-1_16
Mendeley helps you to discover research relevant for your work.