Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers
FATES/RV 2006 (2006 Seattle, Wash.) Klaus Havelund; Manuel Nunez; Grigore Rosu; Burkhart Wolff 1962-
Berlin Springer 2006
Localização: IME - Inst. Matemática e Estatística (S L471c v.4262 )(Acessar)
- 0
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
s l471c v.429
s l471c v.4206
browse_callnumber
display.do?vl(4708289UI0)=sub&gathStatTab=true&dscnt=0&gathStatIcon=true&callNumberBrowseField=browse_callnumber&vid=USP&tabRealType=browseshelf&mode=Basic&rfnGrp=1&tab=default_tab&dstmp=1725036495420&rfnGrpCounter=1&scp.scps=scope%3A%28USP_PRODUCAO%29%2Cscope%3A%28USP_EBOOKS%29%2Cscope%3A%28%22PRIMO%22%29%2Cscope%3A%28USP%29%2Cscope%3A%28USP_EREVISTAS%29%2Cscope%3A%28USP_FISICO%29%2Cprimo_central_multiple_fe&fctV=Engenharia+De+Programas&vl(4708291UI1)=all_items&callNumber=s+l471c+v.4262&fctN=facet_topic&vl(freeText0)=%20Formal%20Methods%20&ct=display&fn=search&indx=17&recIdxs=0&elementId=0