Before revision: Innovations in Systems and Software Engineering is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods.
After revision: : A NASA JournalInnovations in Systems and Software Engineering is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods.