Publikace
- Formal Verification of Annotated Textual Use-Cases2015 | Matematicko-fyzikální fakulta, Ústřední knihovna
- WeVerca: Web Applications Verification for PHP2014 | Matematicko-fyzikální fakulta
- Data-flow Analysis of Programs with Associative Arrays2014 | Matematicko-fyzikální fakulta
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | Matematicko-fyzikální fakulta
- On Security Analysis of PHP Web Applications2012 | Matematicko-fyzikální fakulta
- Framework for Static Analysis of PHP Applications2015 | Matematicko-fyzikální fakulta
- Framework for Static Analysis of PHP Applications (Artifact)Publikace bez příslušnosti k fakultě
Loading network view...