%0 Conference Paper %1 conf/vecos/DragomirMCDT15 %A Dragomir, Cosmin %A Mogosanu, Lucian %A Carabas, Mihai %A Deaconescu, Razvan %A Tapus, Nicolae %B VECoS %D 2015 %E Hedia, Belgacem Ben %E Vladicescu, Florin Popentiu %I CEUR-WS.org %K dblp %P 39-50 %T Towards the Property-Based Testing of an L4 Microkernel API. %U http://dblp.uni-trier.de/db/conf/vecos/vecos2015.html#DragomirMCDT15 %V 1431

@inproceedings{conf/vecos/DragomirMCDT15, added-at = {2023-03-10T00:00:00.000+0100}, author = {Dragomir, Cosmin and Mogosanu, Lucian and Carabas, Mihai and Deaconescu, Razvan and Tapus, Nicolae}, biburl = {https://www.bibsonomy.org/bibtex/233087710754ec22e68c27ec9da9bc366/dblp}, booktitle = {VECoS}, crossref = {conf/vecos/2015}, editor = {Hedia, Belgacem Ben and Vladicescu, Florin Popentiu}, ee = {https://ceur-ws.org/Vol-1431/paper5.pdf}, interhash = {6ef16ef82ea45894f242634286a7dd8d}, intrahash = {33087710754ec22e68c27ec9da9bc366}, keywords = {dblp}, pages = {39-50}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T23:35:18.000+0200}, title = {Towards the Property-Based Testing of an L4 Microkernel API.}, url = {http://dblp.uni-trier.de/db/conf/vecos/vecos2015.html#DragomirMCDT15}, volume = 1431, year = 2015 }