BGSL

swMATH44104MaRDI QIDQ5974567FDOQ5974567

Author name not available (Why is that?)

Official website: https://www.sciencedirect.com/science/article/abs/pii/S2352220822000645

Described by source

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

This page was built for software: BGSL