Before revision: Innovations in Systems and Software Engineering is a computer science journal covering systems engineering and software engineering .Innovations in Systems and Software Engineering, DBLP.Innovations in Systems and Software Engineering, CiteULike.Innovations in Systems and Software Engineering, IngentaConnect.
After revision: , including formal methodsInnovations in Systems and Software Engineering is a computer science journal covering systems engineering and software engineering .Innovations in Systems and Software Engineering, DBLP.Innovations in Systems and Software Engineering, CiteULike.Innovations in Systems and Software Engineering, IngentaConnect.