BGSL

swMATH44104MaRDI QIDQ5974567FDOQ5974567

Author name not available (Why is that?)

Described by source

• BGSL: an imperative language for specification and refinement of backtracking programs

This page was built for software: BGSL