iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/computer/Mills88.rdf
Harlan D. Mills: Stepwise Refinement and Verification in Box-Structured Systems. (1988) journals/computer/Mills88 10.1109/2.948 Stepwise Refinement and Verification in Box-Structured Systems. 1 Harlan D. Mills 1 23-36 Computer Computer 21 6 1988 provenance information for RDF data of dblp record 'journals/computer/Mills88' 2020-08-12T10:32:03+0200