Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Carlo A. Furia

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

IEEE Transactions on Software Engineering

English

Program Checking With Less Hassle

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English