↓ Skip to main content

Program Development in Computational Logic

Overview of attention for book
Attention for Chapter 1: Specifying Compositional Units for Correct Program Development in Computational Logic
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Citations

dimensions_citation
1 Dimensions