Preface

Conference proceeding

B. Dongol and Elena Troubitsyna

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

International Conference on Integrated Formal Methods, 16th (16/11/2020 - 20/11/2020)

2020

Abstract

Engineering and Technology

Maskinteknik

Teknik och teknologier

Mechanical Engineering

20 Record Views

Title: Preface
Creators: B. Dongol - University of Surrey, School of Computer Science and Electronic Engineering
Elena Troubitsyna - Teoretisk datalogi, TCS
Publication Details: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Conference: International Conference on Integrated Formal Methods, 16th (16/11/2020 - 20/11/2020)
Series: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher: Springer Science and Business Media Deutschland GmbH
Date published: 2020
Identifiers: 99817643802346
Academic Unit: School of Computer Science and Electronic Engineering
Language: English
Resource Type: Conference proceeding