Formal International

Programming-Based Formal Languages And Automata Theory

Software Engineering And Formal Methods. Sefm 2024 Collocated Workshops

Concurrent Programming, Open Systems And Formal Methods

Formal Methods For Industrial Critical Systems

Formal Techniques For Distributed Objects, Components, And Systems

Nasa Formal Methods

Leveraging Applications Of Formal Methods, Verification And Validation. Specification And Verification

Leveraging Applications Of Formal Methods, Verification And Validation. Application Areas

Leveraging Applications Of Formal Methods, Verification And Validation. Software Engineering Methodologies

Leveraging Applications Of Formal Methods, Verification And Validation. Rigorous Engineering Of Collective Adaptive Systems

Formal Methods

Formal Methods

Formal Aspects Of Component Software

Formal Methods Teaching

Formal Concept Analysis Of Social Networks (Lecture Notes In Social Networks)

Meaning And Proscription In Formal Logic

Formal Concept Analysis

Formal Aspects Of Component Software

Programming-Based Formal Languages And Automata Theory

Formal Methods For The Analysis Of Biomedical Ontologies

A Reader's Guide To Classic Papers In Formal Semantics

Complex Data Analytics With Formal Concept Analysis

Formal Methods For Software Engineering

Formal Verification Of Floating-Point Hardware Design

English And Students With Limited Or Interrupted Formal Education

Leveraging Applications Of Formal Methods, Verification And Validation. Verification Principles

Software Engineering And Formal Methods. Sefm 2021 Collocated Workshops

Formal Methods For Software Engineering

Structured Object-Oriented Formal Language And Method : 10th International Workshop, Sofl+Msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Formal Concept Analysis : 16th International Conference, Icfca 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings

A Reader's Guide To Classic Papers In Formal Semantics

Descriptional Complexity Of Formal Systems

Complex Data Analytics With Formal Concept Analysis

The Logic Of Software. A Tasting Menu Of Formal Methods

Formal Techniques For Distributed Objects, Components, And Systems

Integrated Formal Methods

Formal Methods And Software Engineering: 10th International Conference On Formal Engineering Methods Icfem 2008, Kitakyushu-City, Japan, October ... 5256 (Lecture Notes In Computer Science)

Formal Verification Of Floating-Point Hardware Design

English And Students With Limited Or Interrupted Formal Education

Formal Methods In Architecture

Descriptional Complexity Of Formal Systems

Formal Analysis By Abstract Interpretation

Software Engineering And Formal Methods

Formal Methods: Foundations And Applications

Formal Methods Teaching