Formal methods - fun for everybody : first international workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers / Antonio Cerone, Markus Roggenbach (eds.).
International Workshop on Formal Methods Fun for Everybody (1st : 2019 : Bergen, Norway); Cerone, Antonio, editor.; Roggenbach, Markus, editor.
2021
QA76.9.F67
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Formal methods - fun for everybody : first international workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers / Antonio Cerone, Markus Roggenbach (eds.).
Meeting Name International Workshop on Formal Methods Fun for Everybody (1st : 2019 : Bergen, Norway)
ISBN 9783030713744 (electronic bk.)
3030713741 (electronic bk.)
9783030713751 (print)
303071375X
3030713733
9783030713737
DOI https://doi.org/10.1007/978-3-030-71374-4
Published Cham : Springer, [2021]
Language English
Description 1 online resource
Other Standard Identifiers 10.1007/978-3-030-71374-4 doi
Call Number QA76.9.F67
Dewey Decimal Classification 004.01/51
Summary This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019. The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file
PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed April 5, 2021).
Added Author Cerone, Antonio, editor.
Roggenbach, Markus, editor.
Series Communications in computer and information science ; 1301.
Available in Other Form Formal methods - fun for everybody.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Rooting Formal Methods in Higher Education Curricula for Computer Science or Software Engineering A Whitepaper
Axiom Based Testing for Fun and Pedagogy
Teaching Formal Methods for Fun Using Maude
Fun with Formal Methods for Better Education
Adapting to Different Types of Target Audience in Teaching Formal Methods
Prototyping Games using Formal Methods
Teaching Model Checking via Games and Puzzles
Formal Methods and Cybersecurity Education
Teaching Them Early: Formal Methods in School
From Stories to Concurrency: How Children Can Play with Formal Methods
When the Student becomes the Teacher
Teaching formal methods in academia: a systematic literature review.

Browse Subjects

Show more subjects...

Statistics

from
to
Export