Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

ERCIM Working Group on Formal Methods for Industrial Critical Systems, European Research Consortium for Informatics and Mathematics

https://id.confref.org/data/confident/38805

rdf:typecf:Category_Organization
rdfs:labelERCIM Working Group on Formal Methods for Industrial Critical Systems, European Research Consortium for Informatics and Mathematics
cf:Creation_date2023-08-21T09:41:20
cf:Display_TitleERCIM Working Group on Formal Methods for Industrial Critical Systems, European Research Consortium for Informatics and Mathematics
cf:Modification_date2023-08-21T09:41:49
cf:ROR_ID055zrhj18
cf:Wikidata_Organization_IDQ3060803
cf:pagehttps://www.confident-conference.org/index.php/Organization:ERCIM_Working_Group_on_Formal_Methods_for_Industrial_Critical_Systems,_European_Research_Consortium_for_Informatics_and_Mathematics
cf:pageTitleOrganization:ERCIM Working Group on Formal Methods for Industrial Critical Systems, European Research Consortium for Informatics and Mathematics

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.