Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)

Saved in:
Bibliographic Details
Published in:Electronic Proceedings in Theoretical Computer Science Vol. 271
Main Authors: Laleau, Régine, Méry, Dominique, Nakajima, Shin, Troubitsyna, Elena
Format: Journal Article
Language:Japanese
Published: Open Publishing Association 12.05.2018
Subjects:
[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
[INFO]Computer Science [cs]
Computer Science - Logic in Computer Science
Computer Science - Software Engineering
FOS: Computer and information sciences
Logic in Computer Science (cs.LO)
Software Engineering (cs.SE)
ISSN:2075-2180
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISSN:2075-2180
DOI:10.4204/eptcs.271