Sciweavers

10435 search results - page 232 / 2087
» Computational Biology and Language
Sort
View
SAC
2010
ACM
16 years 1 months ago
Embedded contract languages
Manuel Fähndrich, Michael Barnett, Francesco ...
ICTAC
2009
Springer
16 years 1 months ago
The PlusCal Algorithm Language
Leslie Lamport