Formal Model Research Group

Results

2011Integrated Development Environment VLAM, software, 2011
Authors: Jirák Ota, Křivka Zbyněk, Olšarová Nela, Vašíček Zdeněk
2009PicoBlaze C Compiler, software, 2009
Authors: Křivka Zbyněk

Your IPv4 address: 23.22.212.158
Switch to IPv6 connection

DNSSEC [dnssec]