cav2010 – keeping simple

More computer science as humbug [updated with Brazil dream sequence]

March 15, 2010 yodaiken academics

Continuing my experiments in academic papers, I sent a paper on automata and circuit verification to CAV2010 (here’s an updated version with some corrections and