Count the papers published by the authors of 'Modular Verification of Information Flow Security in Component-Based Systems' in SEFM.
How many papers did the authors of 'Modular Verification of Information Flow Security in Component-Based Systems' publish in International Conference on Software Engineering and Formal Methods?
SELECT DISTINCT (COUNT(?answer) AS ?count) WHERE { <https://dblp.org/rec/conf/sefm/GreinerMB17> <https://dblp.org/rdf/schema#authoredBy> ?x . ?answer <https://dblp.org/rdf/schema#authoredBy> ?x . ?answer <https://dblp.org/rdf/schema#publishedIn> 'SEFM' }
<https://dblp.org/rec/conf/sefm/GreinerMB17>