Hello
make a comic
|
login
|
join
|
faq
|
puzzle newsletter
|
make friends
|
draw pictures
Deductive Verification of Multi-threaded Java Programs
by
unny
on
07-25-2009
Deterministic scheduler?
Symbolic execution?
Nah. Just yanking your chain.
vote:
|
login to vote
|
log in to flag this comic as inappropriate
View this comic as
XML
|
printer friendly
<< Deductive Verification of Multi-threaded Java Programs
More Comics >>
Statcounter
