MOISE/Pattern-Instanciation-On-System-Engineering-Model
1
0
Fork 0
mirror of http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git synced 2025-12-14 07:53:57 +01:00
Code Issues Projects Releases Wiki Activity
Files
master
Pattern-Instanciation-On-Sy…/Event-B/pseim/cModel.bps

2 lines
64 B
XML
Raw Permalink Blame History

<?xml version="1.0" encoding="UTF-8"?>
<org.eventb.core.psFile/>
Reference in New Issue View Git Blame Copy Permalink