1
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...
Cael y testun llawn
Electronig eLyfr