Jump to : See also | Keyword | Contact | BibTex reference | EndNote reference |

fibl2006

Robert Bruce Findler, Matthias Blume. Contracts as Pairs of Projections. In FLOPS, Pages 226-241, 2006.

See also

[ hawa2006 ]

Keyword

[ Dyntyp ]

Contact

R. Findler
Matthias Blume

BibTex Reference

@InProceedings{fibl2006,
   Author = {Findler, Robert Bruce and Blume, Matthias},
   Title = {Contracts as Pairs of Projections},
   BookTitle = {FLOPS},
   Pages = {226--241},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)