binary decision diagrams? Who wants to live with a static analysis researcher? They're not exactly the life of the CS party...
i am a huge fan of the agile manifesto.
i am a huge fan of the agile manifesto.