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 In Architecture

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)

Quantitative Evaluation Of Systems And Formal Modeling And Analysis Of Timed Systems

Meaning And Proscription In Formal Logic

Formal Methods For Industrial Critical Systems

Software Engineering And Formal Methods. Sefm 2023 Collocated Workshops

Formal Concept Analysis

Formal Techniques For Distributed Objects, Components, And Systems

Nasa Formal Methods

Perspectives On Deduction: Contemporary Studies In The Philosophy, History And Formal Theories Of Deduction

Formal And Practical Techniques For The Complex System Design Process Using Virtual Prototypes

Formal Verification Of Structurally Complex Multipliers

Formal Aspects Of Component Software

Programming-Based Formal Languages And Automata Theory

Formal Methods: Foundations And Applications

Formal Methods For The Analysis Of Biomedical Ontologies

Formal Methods For An Informal World

Software Engineering And Formal Methods

Formal Methods For Industrial Critical Systems

Formal Modeling And Analysis Of Timed Systems

Theories Of Programming And Formal Methods

A Reader's Guide To Classic Papers In Formal Semantics

Complex Data Analytics With Formal Concept Analysis

Formal Methods For Software Engineering

Formal Concept Analysis

Formal Techniques For Distributed Objects, Components, And Systems

Nasa Formal Methods

Descriptional Complexity Of Formal Systems

Formal Approaches To Languages Of South America

Structured Object-Oriented Formal Language And Method

Formal Methods