3415818533

Automaticke budovanie databazy ohlasov

Tim 16 - Nuli pointer exceptions

Zoznam citacii

o

Oznaćene citacie nastavit’ na autocitacie
	Popis	Data baza
0	Verifying properties of hardware and software by predicate abstraction and model checking (Bryant R E Rajamam SK)	Web of Science Ciation lndex
1	A simple method for parameterized verification of cache coherence protocols (Cnou c T. Manna/a P K. Park s)	Web of Science Ciation index
2	Accurate theorem proving for program verification (Cook B.. Kroemng D, Snary g na N )	Web of Science Ciation lndex
3	Verifying Reference Counting Implementations (Emm; m . jna<a R. Kower E. Majjmaar R)	Web of Science Ciation index

Navigacia

Naspat'

^ Logout

Autocitacla	Potencjalna autocitacla	Autocitacie, oznaćene poużivaterom
g	E	K?
E	E	E
E	E	B
E	E	!v