Travelled to:
1 × France
Collaborated with:
∅ J.Sorád Z.Dudláková B.Sobota
Talks about:
function (1) toolset (1) support (1) softwar (1) languag (1) develop (1) formal (1) design (1) colour (1) teach (1)
Person: Stefan Korecko
DBLP: Korecko:Stefan
Contributed to:
Wrote 2 papers:
- SEFM-2014-KoreckoSDS #development #education #formal method #tool support
- A Toolset for Support of Teaching Formal Software Development (SK, JS, ZD, BS), pp. 278–283.
- CEFP-2015-Korecko #design #functional #modelling #petri net
- Functional Languages in Design of Coloured Petri Nets Models (SK), pp. 161–206.