Search results
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 175-189
Theoretical Computer Science > 2002 > 277 > 1-2 > 149-184
Theoretical Computer Science > 2000 > 232 > 1-2 > 273-298
Automated Software Engineering > 1997 > 4 > 2 > 151-178