Symbolic execution: a semantic approach
Authors:
Ralf Kneuper
Affiliations:
-
Venue:
Science of Computer Programming
Year:
1991
Citing
0
Cited
1
Assessment of Safety-Critical Specifications
IEEE Software
Quantified Score
Hi-index
0.00
Visualization
Abstract