Inductive and coinductive predicate liftings for effectful programs
author
Veltri, Niccolò
Voorneveld, Niels F.W.
statement of authorship
Niccolò Veltri, Niels F.W. Voorneveld
source
Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021
publisher
Open Publishing Association
year of publication
2021
pages
p. 260-277
series
Electronic proceedings in theoretical computer science ; 351
conference name, date
37th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2021
conference location
Salzburg, Austria
Online
url
https://doi.org/10.4204/EPTCS.351.16
subject term
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
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
computer circuits
software testing
ISSN
2075-2180
notes
Bibliogr.: 30 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory