11th International Workshop on Functional and (Constraint)
Logic Programming (WFLP 2002)
WFLP 2002 Home Page
: An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems.
: Set-based Nondeterministic Declarative Programming in Singleton.
: Programmable Type Systems for Domain Specific Languages.