Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Rick Meijerink

Having Fun in Learning Formal Specifications

EasyChair Preprints
2019English

Related publications

Having Fun in the Heat Transfer Classroom

Creative Education
2017English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Time Crawls When You’re Not Having Fun

Personality and Social Psychology Bulletin
Social Psychology
2011English

Incremental Validation of Formal Specifications

English

Enjoy!: The (Phraseological) Culture of Having Fun

Topics in English Linguistics
2007English

‘It’s Like Having a Test but in a Fun Way’

Language Teaching for Young Learners
2019English

Formal Consistency Checking Over Specifications in Natural Languages

2015English

Having Fun With Organized Kissing: A Pedagogical Note

SSRN Electronic Journal
2008English

Executing Formal Specifications Need Not Be Harmful

Software Engineering Journal
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy