Results 181 to 190 of about 481 (199)
Some of the next articles are maybe not open access.
Automatic C program verification based on mixed axiomatic semantics
Automatic Control and Computer Sciences, 2015Alexei Promsky, Dmitry Kondratyev
exaly
Two-level grammar as an implementable metalanguage for axiomatic semantics
Computer Languages, Systems and Structures, 1986Barrett R Bryant
exaly
Trust Description and Propagation System: Semantics and axiomatization
Knowledge-Based Systems, 2015Xiaofeng Wang 0002 +4 more
openaire +1 more source
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language
Programming and Computer Software, 2003Igor Anureev +2 more
exaly