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__ $$g126003$$aOdersky, Martin$$0241835
000171975 7112_ $$dNov 01-04, 2010$$cSt Julians, MALTA$$a1st International Conference on Runtime Verification
000171975 773__ $$j6418$$tRuntime Verification$$q51-57
000171975 909C0 $$xU10409$$0252187$$pLAMP
000171975 909CO $$pconf$$pIC$$ooai:infoscience.tind.io:171975
000171975 917Z8 $$x166927
000171975 937__ $$aEPFL-CONF-171975
000171975 973__ $$rNON-REVIEWED$$sPUBLISHED$$aEPFL
000171975 980__ $$aCONF