000171975 001__ 171975
000171975 005__ 20180913060954.0
000171975 020__ $$a978-3-642-16611-2
000171975 02470 $$2ISI$$a000289456400005
000171975 037__ $$aCONF
000171975 245__ $$aContracts for Scala
000171975 260__ $$bSpringer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa$$c2010
000171975 269__ $$a2010
000171975 336__ $$aConference Papers
000171975 490__ $$aLecture Notes in Computer Science
000171975 700__ $$0241835$$aOdersky, Martin$$g126003
000171975 7112_ $$a1st International Conference on Runtime Verification$$cSt Julians, MALTA$$dNov 01-04, 2010
000171975 773__ $$j6418$$q51-57$$tRuntime Verification
000171975 909C0 $$0252187$$pLAMP$$xU10409
000171975 909CO $$ooai:infoscience.tind.io:171975$$pconf$$pIC
000171975 917Z8 $$x166927
000171975 937__ $$aEPFL-CONF-171975
000171975 973__ $$aEPFL$$rNON-REVIEWED$$sPUBLISHED
000171975 980__ $$aCONF