Podrobnosti e-časopisu

Název: Formal Methods in Software Engineering (FormaliSE), FME Workshop on Alternativní: Formal Methods in Software Engineering ISSN: 2575-5099 Recenzováno: Ne   Dostupnost: IEEE Electronic Library (IEL)   Dostupný od 2013 Dostupné pro: NTK