Software model checking without source code

Research indexJournal article

Chaki, Ivers

Innovations in Systems and Software Engineering29 Mar 2010

Journal article

Chaki, Ivers · Innovations in Systems and Software Engineering · 2010 · Subscription

Paywalled

The full text is at the publisher

Open it at the publisher to read it.

Discussion