: From a Constraint Logic Programming Language to a Formal Verification Tool.

Saved in:

Bibliographic Details
Title:	: From a Constraint Logic Programming Language to a Formal Verification Tool.
Source:	Theory & Practice of Logic Programming. Nov2025, Vol. 25 Issue 6, p1-32. 32p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068426100428