Inductive and coinductive predicate liftings for effectful programs
autor
Veltri, Niccolò
Voorneveld, Niels F.W.
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