Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
Copyright-form-FMFun-2019-JHD.pdf		Copyright-form-FMFun-2019-JHD.pdf
FMFUN2019-Paper17.zip		FMFUN2019-Paper17.zip
Makefile		Makefile
Nov2019Referees		Nov2019Referees
README.md		README.md
fixes.pdf		fixes.pdf
fixes.tex		fixes.tex
fmfun2019.pdf		fmfun2019.pdf
fmfun2019.tex		fmfun2019.tex
fmfun2019JHD.tex		fmfun2019JHD.tex
jhd.bib		jhd.bib
llncs.cls		llncs.cls
splncs.bst		splncs.bst

Repository files navigation

FMFun2019

Paper for the 1st International Workshop on "Formal Methods -- Fun for Everybody"

About

Paper for the 1st International Workshop on "Formal Methods -- Fun for Everybody"

fmfun.github.io/

computer-science-education mathematics-education research research-paper workshop-paper

1 star

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages