1983/01/01 by Krzysztof R. Apt · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Testing and Debugging Techniques
paper · doi:10.1016/0304-3975(83)90066-x
openalex publication_date 1983/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29