2018 ACM/IEEE Conference on Formal Methods in Software Engineering : FormaliSE 2018 : 2 June 2018, Gothenburg, Sweden : proceedings

Bibliographic Details
Corporate Author: FormaliSE Göteborg (Author)
Other Involved Persons: FormaliSE ; Association for Computing Machinery ; Institute of Electrical and Electronics Engineers
Format: eBook
Language:English
Published: [Piscataway, NJ] : IEEE 2018
ISBN:9781450357180
1450357180
9781538661673
1538661675
Item Description:"Co-located with ICSE (International Conference on Software Engineering) 2018" - Vorwort (Seite ix)
Literaturangaben.
Physical Description:1 Online-Ressource Illustrationen
Subjects:
Other Editions:Show all 2 Editions
Online Access:http://ieeexplore.ieee.org/servlet/opac?punumber=8535589 (UB Ilmenau)
Further Information:http://ieeexplore.ieee.org/servlet/opac?punumber=8535589
QR Code: Show QR Code

Ilmenau University Library, Online

Holdings details from Universitätsbibliothek Ilmenau, Online
Shelf Mark: -
Notes: Campuslizenz TU Ilmenau
Online Access: http://ieeexplore.ieee.org/servlet/opac?punumber=8535589
Availability: Available - Online.

Feedback Delivery Service Acquisition Suggestion