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