Software Verification

People 2

Documents 0

Journals 1

Jobs 0

Computer Science

Open Source Software

Software Testing

Software Components

Artificial Life

History of Logic

Category Theory

Component-Based Software Engineering (CBSE)

Internet Security

Software Verification

Computer Hacking

Self-* Software

Theorem Provers

Ethical Hacking

What is Following?

Following Joseph's work means that, in your Academia.edu News Feed, you will see Joseph's:

status updates
new papers
new research interests

and other research updates.

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

Artificial Life, Automated Deduction, Autonomic Computing, and Category Theory

What is Following?

Following Bruce's work means that, in your Academia.edu News Feed, you will see Bruce's:

status updates
new papers
new research interests

and other research updates.

Bruce Weide

Ohio State University

Faculty Member

Computer Science and Engineering Department

Component-Based Software Engineering (CBSE), Computer Science, Software Components, and Software Verification

x

Log In

Academia © 2012