{"slug":"formal-methods-in-system-design","name":"Formal Methods in System Design","journalId":"06a500b3-420d-77c5-8000-845122b169af","groups":[{"manuscriptType":"All","categories":[{"category":"LENGTH","label":"Length & word limits","items":[{"key":"abstract_word_limit","value":"250","unit":"words"}],"hiddenCount":0},{"category":"OTHER","label":"Formatting & submission","items":[],"hiddenCount":6}]}]}