Innovations in Systems and Software Engineering
Innovations in Systems and Software Engineering: A NASA Journal is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is published by Springer Science+Business Media on behalf of NASA. The editors-in-chief are Michael Hinchey and Shawn Bohner.