Old-fashioned logic for verification
Authors:
Affiliations:
Venue:
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Year:
1985
Citing
1
Cited
0
A Discipline of Programming
A Discipline of Programming
Quantified Score
Hi-index
0.00
Visualization
Abstract