Hoare-style logic for unstructured programs
Date unavailable
← Back to Journals
Journal of Logical and Algebraic Methods in Programming
- Publisher:
- Elsevier
- ISSN:
- 2352-2208
- Category:
- LOGIC
- Impact factor:
- 0.7
Feed status
5 parsed articles
Last update: Not fetched
Latest articles
Rule and constraint based debugging of DBpedia queries
Date unavailable
NWPT 2022 - Special issue
Date unavailable
Verification of Time-Bounded Multiset Rewriting Properties
Date unavailable
Compositional Separation of Control Flow and Data Flow
Date unavailable