Static incorrectness diagnosis of CLP(FD)

University dissertation from Linköping : Linköping University Electronic Press

Author: Pawel Pietrzak; [1998]

Keywords: Embedded System; Inbyggda system;

Abstract:

This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.