Formal Methods Europe
id:
formal-methods-europe-312-15534856
title:
Formal Methods Europe
text:
Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based systems. The association's members are drawn from academia and industry. It is based in Europe, but is international in scope. FME operates under Dutch law. Activities include or have included: Dissemination of research findings and industrial experience through conferences and sponsored events;
Development of infor
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Formal_Methods_Europe
date created:
date modified:
2024-03-28T16:42:41Z
main entity:
{"identifier":"Q5469947","url":"https://www.wikidata.org/entity/Q5469947"}
image:
fields total:
13
integrity:
13