Inductive and coinductive predicate liftings for effectful programs
autor
Veltri, Niccolo
Voorneveld, Niels Frits Willem
vastutusandmed
Niccolò Veltri, Niels F.W. Voorneveld
allikas
Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021
kirjastus/väljaandja
Open Publishing Association
ilmumisaasta
2021
leheküljed
p. 260-277
seeria-sari
Electronic proceedings in theoretical computer science ; 351
konverentsi nimetus, aeg
37th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2021
konverentsi toimumispaik
Salzburg, Austria
Online
leitav
https://doi.org/10.4204/EPTCS.351.16
märksõna
tarkvara
testimine
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85122280172&origin=inward&txGid=c7421d68f570c983320bb4fe98712567
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001044544400016
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
computer circuits
software testing
ISSN
2075-2180
märkused
Bibliogr.: 30 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium