cvb.acronym: FMSEE&T 2015
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-1385.zip
cvb.ceurpubdate: '2015-06-19'
cvb.city: Oslo
cvb.cityWikidataId: Q6073453
cvb.colocated: FM 2015
cvb.country: Norway
cvb.countryWikidataId: Q20
cvb.dateFrom: '2015-06-23'
cvb.dateTo: '2015-06-23'
cvb.desc: '?'
cvb.editors: Andreas Bollin, Tiziana Margaria, Isabelle Perseil
cvb.fromLine: 54968
cvb.h1: FMSEE&T 2015 Formal Methods in Software Engineering Education and Training
cvb.h3: Proceedings of the First Workshop on Formal Methods in Software Engineering
  Education and Training (FMSEE&T '15) co-located with 20th International Symposium
  on Formal Methods (FM 2015)
cvb.homepage: http://fmseet.aau.at
cvb.loc_city: Oslo
cvb.loc_country: Norway
cvb.loc_days: '23'
cvb.loc_locs: null
cvb.loc_month: June
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Oslo, Norway, June 23, 2015
cvb.number: 1385
cvb.pubDate: '2015-06-19T00:00:00'
cvb.published: '2015-06-19'
cvb.seealso: ''
cvb.submittedBy: Andreas Bollin
cvb.tdtitle: Proceedings of the First Workshop on Formal Methods in Software Engineering
  Education and Training (FMSEE&T '15), Oslo, Norway, June 23, 2015.
cvb.title: Proceedings of the First Workshop on Formal Methods in Software Engineering
  Education and Training
cvb.toLine: 54991
cvb.url: http://ceur-ws.org/Vol-1385/
cvb.urn: urn:nbn:de:0074-1385-5
cvb.urn_check_digit: 5
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Formal Methods in Software Engineering Education and Training 2015
cvb.voltitle: Formal Methods in Software Engineering Education and Training
cvb.volume_number: Vol-1385
cvb.year: '2015'
spt.acronym: FMSEE&T 2015
spt.date: '2015-06-19'
spt.dblp: conf/fm/2015fmseet
spt.description: Proceedings of FMSEE&T 2015 workshop
spt.html_url: /Vol-1385.html
spt.k10plus: '847184838'
spt.number: 1385
spt.title: Proceedings of the First Workshop on Formal Methods in Software Engineering
  Education and Training
spt.url: http://ceur-ws.org/Vol-1385/
spt.urn: urn:nbn:de:0074-1385-5
spt.wikidataid: Q113544640
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-1385-5
wd.Volume: null
wd.dblpEventId: conf/fm/fmseet2015
wd.dblpProceedingsId: conf/fm/2015fmseet
wd.described_at_URL: http://ceur-ws.org/Vol-1385/
wd.event: http://www.wikidata.org/entity/Q113649262
wd.eventLabel: First Workshop on Formal Methods in Software Engineering Education
  and Training
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-1385/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113544640
wd.itemDescription: Proceedings of FMSEE&T 2015 workshop
wd.itemLabel: Proceedings of the First Workshop on Formal Methods in Software Engineering
  Education and Training
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '847184838'
wd.publication_date: '2015-06-19T00:00:00'
wd.sVolume: 1385
wd.short_name: FMSEE&T 2015
wd.title: Proceedings of the First Workshop on Formal Methods in Software Engineering
  Education and Training
