Amel Mammar, Marc Frappier. Verifying the Precedence Property Pattern Using the B Method. In 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014. pages 229-233, IEEE Computer Society, 2014. [doi]
@inproceedings{MammarF14, title = {Verifying the Precedence Property Pattern Using the B Method}, author = {Amel Mammar and Marc Frappier}, year = {2014}, doi = {10.1109/HASE.2014.40}, url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2014.40}, researchr = {https://researchr.org/publication/MammarF14}, cites = {0}, citedby = {0}, pages = {229-233}, booktitle = {15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014}, publisher = {IEEE Computer Society}, }