Results 21 to 30 of about 409,660 (52)

SPF (SV-COMP 2023)

, 2022
<p>Version from SV-COMP 2023.</p ...
Noller, Yannic
core   +1 more source

Crux (SV-COMP 2023)

, 2022
<p>Version from SV-COMP 2023.</p ...
Scott, Ryan
core   +1 more source

GDart-LLVM (SV-COMP 2023)

, 2022
<p>Version from SV-COMP 2023.</p ...
Howar, Falk, Mues, Malte, Dierl, Simon
core   +1 more source

Slovenian publishing houses after World War II until 1950

, 2023
Diplomski seminar obravnava slovensko založništvo po koncu 2. svetovne vojne. Predstavi, kako so s svojim delom začele slovenske založbe in kakšne težave so pri tem imele.
Brešar, Jošt
core  

LF-checker (SV-COMP 2023)

, 2022
<p>Version from SV-COMP 2023.</p ...
Wu, Tong
core   +1 more source

Lazy-CSeq (SV-COMP 2023)

, 2022
<p>Version from SV-COMP 2023.</p ...
Inverso, Omar
core   +1 more source

Graves-Par (SV-COMP 2023)

, 2022
<p>Version from SV-COMP 2023.</p ...
Leeson, Will
core   +1 more source

FOUNDATION OF MOHORJEVA DRUŽBA [PDF]

, 2013
V diplomski nalogi predstavljamo pravne podlage za nastanek Mohorjeve družbe v 19. stoletju. Družba svetega Mohorja ima dolgoletno tradicijo, med drugim je delovala tudi na Prevaljah, kjer živim.
Hudrap, Katja
core  

Graves-CPA (SV-COMP 2023)

, 2022
<p>Version from SV-COMP 2023.</p ...
Leeson, Will
core   +1 more source

Verifiers and Validators of the 11th Intl. Competition on Software Verification (SV-COMP 2022)

, 2022
This archive contains the verifiers and validators that participated in the 11th Competition on Software Verification (SV-COMP 2022). https://sv-comp.sosy-lab.org/2022/ The competition was run by Dirk Beyer, LMU Munich, Germany.
Beyer, Dirk
core   +1 more source