Details
Title
Contracts for Scala
Author(s)
Odersky, Martin
Published in
Runtime Verification
Series
Lecture Notes in Computer Science, 6418
Pages
51-57
Conference
1st International Conference on Runtime Verification, St Julians, MALTA, Nov 01-04, 2010
Date
2010
Publisher
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa
ISBN
978-3-642-16611-2
Other identifier(s)
View record in Web of Science
Laboratories
LAMP
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LAMP - Programming Methods Laboratory
Conference Papers
Work produced at EPFL
Published
Conference Papers
Work produced at EPFL
Published
Record creation date
2011-12-16