iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/ifip2/Sanders90.nt
.
.
"Beverly A. Sanders: Stepwise Refinement of Mixed Specifications of Concurrent Programs. (1990)" .
_:ID_4639a323ba1d280e9fa9b24b3445030f . _:ID_4639a323ba1d280e9fa9b24b3445030f
. _:ID_4639a323ba1d280e9fa9b24b3445030f
. _:ID_4639a323ba1d280e9fa9b24b3445030f
. _:ID_4639a323ba1d280e9fa9b24b3445030f
"conf/ifip2/Sanders90" .
"Stepwise Refinement of Mixed Specifications of Concurrent Programs." .
.
.
.
"1"^^
.
_:Sig_630473c85ce04b52bc7482efd7082653_1 . _:Sig_630473c85ce04b52bc7482efd7082653_1
. _:Sig_630473c85ce04b52bc7482efd7082653_1
. _:Sig_630473c85ce04b52bc7482efd7082653_1
"Beverly A. Sanders" . _:Sig_630473c85ce04b52bc7482efd7082653_1
. _:Sig_630473c85ce04b52bc7482efd7082653_1
"1"^^
. _:Sig_630473c85ce04b52bc7482efd7082653_1
.
.
.
"1-26" .
"Programming Concepts and Methods" .
"Programming Concepts and Methods" .
"1990"^^
.
"1990"^^
.
.
"provenance information for RDF data of dblp record 'conf/ifip2/Sanders90'" .
.
.
.
"2019-01-21T18:52:11+0100" .
