Julien Brunel

Latest

• Adding Records to Alloy
• Verifying Temporal Relational Models with Pardinus
• Proposition of an Action Layer for Electrum