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