Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Ellner, Stephan J."'
Autor:
Ellner, Stephan J.
As visual programming languages become both more expressive and more popular in the domains of real-time and embedded software, the need for rigorous techniques for reasoning about programs written in these languages becomes more pressing. Indeed, du
Externí odkaz:
http://hdl.handle.net/1911/17671
