L. Groves,
"Deriving Programs by Combining and Adapting Refinement Scripts,"
Asia-Pacific Software Engineering Conference, pp. 354, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995.
BibTex
x
@article{
10.1109/APSEC.1995.496984, author = {L. Groves}, title = {Deriving Programs by Combining and Adapting Refinement Scripts}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {1995}, isbn = {0-8186-7171-8}, pages = {354}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1995.496984}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Asia-Pacific Software Engineering Conference TI - Deriving Programs by Combining and Adapting Refinement Scripts SN - 0-8186-7171-8 SP EP A1 - L. Groves, PY - 1995 VL - 0 JA - Asia-Pacific Software Engineering Conference ER -
L. Groves, "Deriving Programs by Combining and Adapting Refinement Scripts," apsec, pp.354, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb