Results 271 to 274 of about 1,625,789 (274)
Some of the next articles are maybe not open access.
Proofs, program correctness, and software engineering
ACM SIGPLAN Notices, 1983openaire +1 more source
Proofs, program correctness, and software engineering
ACM SIGPLAN Notices, 1983