Robert Bruce Findler, Matthias Blume. Contracts as Pairs of Projections. In FLOPS, Pages 226-241, 2006.
[ hawa2006 ]
[ Dyntyp ]
@InProceedings{fibl2006,
Author = {Findler, Robert Bruce and Blume, Matthias},
Title = {Contracts as Pairs of Projections},
BookTitle = {FLOPS},
Pages = {226--241},
Year = {2006}
}
Get EndNote Reference (.ref)