mtmtThe Hungarian Scientific Bibliography

XML JSON Public search Magyarul

Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019

Cerone, Antonio [ed.]; Roggenbach, Markus [ed.]

English Conference proceedings (Book) Scientific

Published: Springer International Publishing, Cham, Switzerland, 227 p. 2021

Conference: 1st International Workshop on Formal Methods Fun for Everybody, FMFun 2019 2019-12-02 [Bergen, Norway]

Series: Communications in Computer and Information Science 1865-0929 1865-0937, 1301

Identifiers

MTMT: 33142256
DOI: 10.1007/978-3-030-71374-4
ISBN: 9783030713737
ISBN: 9783030713744
Other URL: http://link.springer.com/10.1007/978-3-030-71374-4

Chapters

Cerone Antonio et al. Adapting to Different Types of Target Audience in Teaching Formal Methods. (2021) In: Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019 pp. 106-123

Citation styles: IEEE ACM APA Chicago Harvard CSLCopyPrint

2025-04-25 14:21

×

Export list as bibliography

Citation styles: IEEE ACM APA Chicago HarvardPrintCopy