REFLP

swMATH1821MaRDI QIDQ14469FDOQ14469

Author name not available (Why is that?)

Official website: https://www.researchgate.net/publication/43515714_A_tool_for_logic_program_refinement_Extended_abstract

Cited In (1)

• Ergo 6

This page was built for software: REFLP