iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/aplas/ShroffSS07.nt
.
.
.
.
"Paritosh Shroff et al.: The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. (2007)" .
.
_:ID_adb36392084994e3bf6e9870f3197a22 . _:ID_adb36392084994e3bf6e9870f3197a22
. _:ID_adb36392084994e3bf6e9870f3197a22
. _:ID_adb36392084994e3bf6e9870f3197a22
. _:ID_adb36392084994e3bf6e9870f3197a22
"conf/aplas/ShroffSS07" .
_:ID_c54e7bd71b54f6a6568060d5e229208f . _:ID_c54e7bd71b54f6a6568060d5e229208f
. _:ID_c54e7bd71b54f6a6568060d5e229208f
. _:ID_c54e7bd71b54f6a6568060d5e229208f
. _:ID_c54e7bd71b54f6a6568060d5e229208f
"10.1007/978-3-540-76637-7_2" .
"The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_94415ed93993429fa5fc93b8246327de_1 . _:Sig_94415ed93993429fa5fc93b8246327de_1
. _:Sig_94415ed93993429fa5fc93b8246327de_1
. _:Sig_94415ed93993429fa5fc93b8246327de_1
"Paritosh Shroff" . _:Sig_94415ed93993429fa5fc93b8246327de_1
. _:Sig_94415ed93993429fa5fc93b8246327de_1
"1"^^
. _:Sig_94415ed93993429fa5fc93b8246327de_1
.
_:Sig_94415ed93993429fa5fc93b8246327de_2 . _:Sig_94415ed93993429fa5fc93b8246327de_2
. _:Sig_94415ed93993429fa5fc93b8246327de_2
. _:Sig_94415ed93993429fa5fc93b8246327de_2
"Christian Skalka" . _:Sig_94415ed93993429fa5fc93b8246327de_2
. _:Sig_94415ed93993429fa5fc93b8246327de_2
"2"^^
. _:Sig_94415ed93993429fa5fc93b8246327de_2
.
_:Sig_94415ed93993429fa5fc93b8246327de_3 . _:Sig_94415ed93993429fa5fc93b8246327de_3
. _:Sig_94415ed93993429fa5fc93b8246327de_3
. _:Sig_94415ed93993429fa5fc93b8246327de_3
"Scott F. Smith 0001" . _:Sig_94415ed93993429fa5fc93b8246327de_3
. _:Sig_94415ed93993429fa5fc93b8246327de_3
"3"^^
. _:Sig_94415ed93993429fa5fc93b8246327de_3
.
.
.
.
.
"2-18" .
"APLAS" .
"APLAS" .
"2007"^^
.
"2007"^^
.
.
"provenance information for RDF data of dblp record 'conf/aplas/ShroffSS07'" .
.
.
.
"2017-12-21T23:25:59+0100" .
