It looks like you're offline.

Verification, Model Checking, and Abstract Interpretation / Lists

This edition is on 0 lists.

This reader hasn't created any lists yet.

Recent Activity

When	What	Who	Comment
5 minutes ago	New Books (list) - diff	Flora Menzies	Removed Divine landscapes from the list.
5 minutes ago	New Books (list) - diff	Flora Menzies	Removed Their very own and golden city from the list.
6 minutes ago	Book Vije (list) - diff	vijenderkumar	Removed Nta-Ugc-Net from the list.
6 minutes ago	Book Vije (list)	vijenderkumar	Created a new list.
16 minutes ago	Livros (list) - diff	Gilberto Egawa	Removed The 48 Laws of Power from the list.