Podrobnosti e-časopisu

Název: Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA), International Symposium on Zkrácený: INTERNATIONAL SYMPOSIUM ON LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION Alternativní: Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA), International Symposium on Alternativní: Leveraging Applications of Formal Methods, Verification and Validation Recenzováno: Ne   Dostupnost: IEEE Electronic Library (IEL)   Dostupný od 2006 Dostupné pro: NTK