Search Results - "formality"

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2... by Alessandra Russo

Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation by Breitner, Joachim

Subjects: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
DOAB: download the publication
DOAB: description of the publication

Manual do Cuidador by Manuel Veríssimo

Subjects: “…Formal caregivers…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice... by Dirk Beyer

Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler by Lochbihler, Andreas

Subjects: “…formal semantics…”
DOAB: download the publication
DOAB: description of the publication

Mujeres y niños en la cárcel. Lectura y escritura dentro y fuera de la Unidad 33 by Molinari, Claudia (Coord.)

Subjects: “…Educación no formal…”
DOAB: download the publication
DOAB: description of the publication

La forme et l'énergie L'esthétique du formalisme russe by Zenkine, Serge

Subjects: “…formalism…”
DOAB: download the publication
DOAB: description of the publication

Handbuch Validierung non-formal und informell erworbener Kompetenzen Disziplinäre, theoretische und konzeptionelle Zugänge

Subjects: “…Non-formal Education…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Chapter The Community Education Program: A Reflection on Good Practice in the USA by Douglas, Miriam

Subjects: “…formal/non-formal/informal education…”
DOAB: download the publication
DOAB: description of the publication

Chapter The Community Education Program: A Reflection on Good Practice in the USA by Douglas, Miriam

Subjects: “…formal/non-formal/informal education…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...

Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni... by Ralf Küsters

Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...

Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

Subjects: “…Formal Methods…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
DOAB: download the publication
DOAB: description of the publication