Title: Proceedings of the Fourth International C* Conference on Computer Science and Software Engineering