Piskac, Ruzica.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Verified software = theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Piskac, Ruzica.; SpringerLink (Online service); Rummer, Philipp.
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /
by:
Piskac, Ruzica.; SpringerLink (Online service); Rümmer, Philipp.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.. Part II /
by:
SpringerLink (Online service); Piskac, Ruzica.; Rakamarić, Zvonimir.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Computer aided verification = 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.. Part IV /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Rakamarić, Zvonimir.; Piskac, Ruzica.
(Language materials, printed)
Computer aided verification = 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.. Part III /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Rakamarić, Zvonimir.; Piskac, Ruzica.
(Language materials, printed)
Computer aided verification = 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.. Part I /
by:
SpringerLink (Online service); Piskac, Ruzica.; Workshop on the Preservation of Stability under Discretization ((2001 :); Rakamarić, Zvonimir.
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings /
by:
Enea, Constantin.; Piskac, Ruzica.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Computer Communication Networks.
Software engineering.
Logics and Meanings of Programs.
Artificial Intelligence.
Design and Analysis of Algorithms.
Computers.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Computer logic.
System Performance and Evaluation.
The Computing Profession.
Special purpose computers.
Computer communication systems.
Special Purpose and Application-Based Systems.
Computer system failures.
Compilers (Computer programs)
Programming languages (Electronic computers).
Computer software