Você está em: Start > Publications > View > Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021.

Map of Premises

Publication

Publications

Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021.

Title

Type

International Conference Proceedings Book

Date

2021

Title

Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021.

Type

International Conference Proceedings Book

Year

2021

Conference International

1st Workshop on Applicable Formal Methods, AppFM 2021

23 November 2021

Other information

Language: English

Type (Professor's evaluation): Scientific

Collection: EPTCS

Vol.: 13122

Documents

We could not find any documents associated to the publication.

Publications included

Article in International Conference Proceedings Book

Carreira, C (Author) (Other); Ferreira, JF (Author) (Other); Mendes, A (Author) (Other); Christin, N (Author) (Other)

2021