×
2015
Formal Modelling for Cooking Assistance.
[DOI]
Bernd Krieg-Brückner
,
Serge Autexier
,
Martin Rink
,
Sidoine Ghomsi Nokam
Proceedings of the Software, 2015