Synthesis of programs in computational logic (2004)

Cached

Download Links

by David Basin , Yves Deville , Pierre Flener , Andreas Hamfelt , Jørgen Fischer Nilsson
Venue:PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC
Citations:7 - 0 self

Document Versions

Synthesis of programs in computational logic –David Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson — 2004 — PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC