%0 Thesis %1 phd/us/Terwilliger87 %A Terwilliger, Robert B. %D 1987 %K dblp %T ENCOMPASS: An Environment for Incremental Software Development Using Executable, Logic-Based Specifications

@phdthesis{phd/us/Terwilliger87, added-at = {2023-09-14T00:00:00.000+0200}, author = {Terwilliger, Robert B.}, biburl = {https://www.bibsonomy.org/bibtex/258621dbd23b8a86c8a435925275c8f3f/dblp}, ee = {https://hdl.handle.net/2142/69585}, interhash = {53e5aa920d0ccd3623da436c4655a6bc}, intrahash = {58621dbd23b8a86c8a435925275c8f3f}, keywords = {dblp}, school = {University of Illinois Urbana-Champaign, USA}, timestamp = {2024-04-09T08:03:25.000+0200}, title = {ENCOMPASS: An Environment for Incremental Software Development Using Executable, Logic-Based Specifications}, year = 1987 }