[[
prase:ideas
]]
ZL's Wiki
Trace:
»
ideas
PraSácký myšlenky
Muller: Bi-Abduction PLDI (později v Únoru) - hardcore
L. Charvát: HW Verification Tools - overview
prase/ideas.txt · Last modified: 2014/01/17 15:02 by muller
Except where otherwise noted, content on this wiki is licensed under the following license:
CC Attribution-Noncommercial-Share Alike 3.0 Unported