Coverart for item
The Resource FME Workshop on Formal Methods in Software Engineering (FormaliSE) : proceedings

FME Workshop on Formal Methods in Software Engineering (FormaliSE) : proceedings

Label
FME Workshop on Formal Methods in Software Engineering (FormaliSE) : proceedings
Title
FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Title remainder
proceedings
Title variation
  • FormaliSE
  • Formal Methods in Software Engineering (FormaliSE) ... FME Workshop on
  • Proceedings, FME Workshop on Formal Methods in Software Engineering
  • FME Workshop on Formal Methods in Software Engineering proceedings
Creator
Contributor
Publisher
Subject
Genre
Language
eng
Member of
Cataloging source
HNK
Dewey number
005
Entry convention
successive entry
Frequency
annual
LC call number
  • ISSN RECORD
  • QA76.758
LC item number
.F56
http://bibfra.me/vocab/lite/meetingName
FME Workshop on Formal Methods in Software Engineering.
Nature of contents
dictionaries
Original alphabet or script of title
basic roman
Regularity
regular
http://library.link/vocab/relatedWorkOrContributorName
  • Institute of Electrical and Electronics Engineers
  • International Conference on Software Engineering.
http://library.link/vocab/subjectName
Software engineering
Label
FME Workshop on Formal Methods in Software Engineering (FormaliSE) : proceedings
Instantiates
Publication
Note
Co-located with ICSE
Abbreviated title
FME workshop Form. Methods Softw. Eng.
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
ocn884296493
Form of item
online
Issn
2575-5099
Lccn
2017202954
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Publication designation
Began with 1st (2013).
Specific material designation
remote
System control number
(OCoLC)884296493
Label
FME Workshop on Formal Methods in Software Engineering (FormaliSE) : proceedings
Publication
Note
Co-located with ICSE
Abbreviated title
FME workshop Form. Methods Softw. Eng.
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
ocn884296493
Form of item
online
Issn
2575-5099
Lccn
2017202954
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Publication designation
Began with 1st (2013).
Specific material designation
remote
System control number
(OCoLC)884296493

Library Locations

Processing Feedback ...