DOI

Язык оригиналаанглийский
Название основной публикацииFormal Methods- FM 2019 International Workshops - Revised Selected Papers
РедакторыEmil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
ИздательSpringer Nature
Страницы114-130
Число страниц17
ISBN (электронное издание)978-3-030-54994-7
ISBN (печатное издание)9783030549930
DOI
СостояниеОпубликовано - 1 сент. 2020
Событие3rd World Congress on Formal Methods, FM 2019 - Porto, Португалия
Продолжительность: 7 окт. 2019 → 11 окт. 2019

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том12232 LNCS
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

Конференция

Конференция3rd World Congress on Formal Methods, FM 2019
Страна/TерриторияПортугалия
ГородPorto
Период07.10.2019 → 11.10.2019

ID: 25311656