iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/vstte/Moore05.nt
.
.
.
.
"J Strother Moore: A Mechanized Program Verifier. (2005)" .
.
_:ID_055a2cc541396d345303eff374f0f8b5 . _:ID_055a2cc541396d345303eff374f0f8b5
. _:ID_055a2cc541396d345303eff374f0f8b5
. _:ID_055a2cc541396d345303eff374f0f8b5
. _:ID_055a2cc541396d345303eff374f0f8b5
"conf/vstte/Moore05" .
_:ID_a73e19151f3a99318cd001e367ff7a21 . _:ID_a73e19151f3a99318cd001e367ff7a21
. _:ID_a73e19151f3a99318cd001e367ff7a21
. _:ID_a73e19151f3a99318cd001e367ff7a21
. _:ID_a73e19151f3a99318cd001e367ff7a21
"10.1007/978-3-540-69149-5_29" .
"A Mechanized Program Verifier." .
.
.
.
"1"^^
.
_:Sig_1bce448290f2f278697807b0c4aa7df9_1 . _:Sig_1bce448290f2f278697807b0c4aa7df9_1
. _:Sig_1bce448290f2f278697807b0c4aa7df9_1
. _:Sig_1bce448290f2f278697807b0c4aa7df9_1
"J Strother Moore" . _:Sig_1bce448290f2f278697807b0c4aa7df9_1
. _:Sig_1bce448290f2f278697807b0c4aa7df9_1
"1"^^
. _:Sig_1bce448290f2f278697807b0c4aa7df9_1
.
.
.
.
.
"268-276" .
"VSTTE" .
"VSTTE" .
"2005"^^
.
"2008"^^
.
.
"provenance information for RDF data of dblp record 'conf/vstte/Moore05'" .
.
.
.
"2018-06-27T08:00:02+0200" .
